Unannotated lambda param inferred through a field/tuple access leaks the internal lambda$N name instead of a clean type error #47

New issue

Closed

opened 2026-07-20 10:59:27 +02:00 by st · 0 comments

st commented

2026-07-20 10:59:27 +02:00

Owner

Minimal repro

type TPoint { x: i64, y: i64 }
let g = fn(p) -> Core.add_i64(p.x, p.y) in g(TPoint { x = 5, y = 6 })
→ error: unbound variable 'lambda$1'

Tuple projection triggers it too:
let g = fn(t) -> t.0 in g((7, 8))
→ error: unbound variable 'lambda$1'

``` Minimal repro type TPoint { x: i64, y: i64 } let g = fn(p) -> Core.add_i64(p.x, p.y) in g(TPoint { x = 5, y = 6 }) → error: unbound variable 'lambda$1' Tuple projection triggers it too: let g = fn(t) -> t.0 in g((7, 8)) → error: unbound variable 'lambda$1' ```