Repository navigation
Conversation
|
The latest updates on your projects. Learn more about Vercel for GitHub.
|
![vercel[bot]](https://avatars.githubusercontent.com/in/8329?s=60&v=4){kind=small}
| const inherited = new Set((fn.captures ?? []).map((c) => c.localId)); | ||
| const written = this.written.get(fn.name); | ||
| return (arg) => { | ||
| const target = this.closureTarget(arg); | ||
| if (!target || !written || arg.kind !== "closure") return null; | ||
| if (!this.receivers.ignores(target)) return null; | ||
| for (const id of arg.captures) { | ||
| const local = locals.get(id); | ||
| if (!local || local.tdz || inherited.has(id) || written.has(id)) return null; | ||
| } |
There was a problem hiding this comment.
When a local class method changes a binding captured by an array callback, the lone-call optimizer treats that binding as stable and replaces its live reads with a stale snapshot.
| const target = this.closureTarget(arg); | ||
| if (!target || !written || arg.kind !== "closure") return null; | ||
| if (!this.receivers.ignores(target)) return null; |
There was a problem hiding this comment.
Inlining a callback with an Int32 parameter removes its incoming call from contract analysis, so non-int32 array elements are silently accepted for that parameter.
| ...(frame === undefined ? {} : { frame }), | ||
| }; | ||
| } | ||
|
|
There was a problem hiding this comment.
The new lone-call path inlines callbacks with switch-local records or foldable unions, but cleanup removes their locals without rewriting their switch-case declarations, causing SC9001 compilation failures.
| case "while": | ||
| case "doWhile": | ||
| case "for": | ||
| case "block": | ||
| return st.labels ? { ...st, labels: st.labels.map(label) } : st; |
There was a problem hiding this comment.
A lone array callback containing a labeled switch and a break to that label fails compilation because the break is renamed but the switch label is not.
map,filter,flatMap,forEach,reduce,someoreverycall whose callback is a closure literal with unchanging captures now runs as a loop with the callback body copied in, its captures passed by value, and its result allocated once.bench:runtime --layouts=4(0.34x → 0.32x of Node); the other changed workloads are neutral, and most changed executables get smaller.Int32[]contracts check the values such amaporfilterstores, soxs.map((x) => (x * 2) | 0)can initialize anInt32[].