Close soundness holes in closure signature inference - #6622

Merged

ondrejmirtes merged 5 commits into

2.3.xfrom

closure-type-outside-assertions

Sep 27, 2026

Commits on Sep 27, 2026

Assert the types of stored closures and arrow functions outside their bodies

ondrejmirtes
and
claude
committed
400e7ae
Observe the values an unpacked argument passes, not the array

ondrejmirtes
and
claude
committed
d30da04
Let inferred closures escape wherever their values leave what is followed

ondrejmirtes
and
claude
committed
245664c
Keep the creation-time fixpoint for by-ref uses of rebound variables

ondrejmirtes
and
claude
committed
f0ebc74
Bump expected turbo version
ondrejmirtes
committed
8e3162d