Hojun-Cho
fa17459558
For an SK_FN sym, exprtype's N_IDENT and N_DOT arms returned decl.lhs (the return type), so a bare fn rvalue compared as its return type — latent silent mis-accept of mismatched-signature fn assignment (the 706/768 over-reject under any general check was the visible face). Synthesize the N_TFN instead (mirror of assignableaddrfn's synth), and add the N_TFN-vs-N_TFN confident-mismatch reject in isassignable. harec: resolve_function check.c:4279-4288 (obj->type=fntype), EXP_ACCESS check.c:341-343 (bare ident yields obj->type, no decay), call check.c:1573, assignability types.c:1001; cstage twin check.c:1313 + build_fn_type check.c:2611. cgen is name-keyed on fn rvalues (never reads the stamp): zero asm delta, byte-id held.