diff --git a/stage0/sema.c b/stage0/sema.c index 530f322f47..93a8402df9 100644 --- a/stage0/sema.c +++ b/stage0/sema.c @@ -5388,13 +5388,18 @@ static TypeIndex resolveFuncRetType(Sema* sema, const FuncZirInfo* info) { return IP_INDEX_VOID_TYPE; if (info->ret_ty_body_len == 1) { ZirInstRef ret_ty_ref = sema->code.extra[info->ret_ty_ref_pos]; - if (ret_ty_ref < ZIR_REF_START_INDEX) - return ret_ty_ref; - // Generic return type (e.g. param_comptime ref) — can't resolve - // statically. Return void; caller handles cross-module fallback. + // Use resolveZirTypeRef which handles both pre-interned refs + // (code, ret_ty_ref, UINT32_MAX, sema->file_idx); + if (resolved != IP_INDEX_NONE) + return resolved; return IP_INDEX_VOID_TYPE; } - // Multi-instruction return type body — not yet supported for inline. + // Multi-instruction return type body: caller handles via analyzeBodyInner. return IP_INDEX_VOID_TYPE; }