On 7/15/26 06:01, Paul King wrote: [...]
Dynamic packing stays annotation-only (@PackedClosures) regardless — it cannot be proven sound without types — so the blast radius of any default is: statically compiled closures the compiler has proved safe, with the escape analysis already declining the risky shapes (field-assigned DSL blocks like Grails constraints never pack, by construction).
I think I missed something. cl = {x->x+1} cannot be a PackedClosure? I am pretty sure there are a lot of cases for them. And the point I am really missing is I guess: in what way are types a required deciding factor of if something can be a PackedClosure or not?
bye Jochen
