Apparently, it is possible to fake static with safe code 
. Is it a clear limitation of NLL?
1 Like
No, that's a long-standing known soundness bug. Bugs happen, and not all are easy to fix.
7 Likes
This topic was automatically closed 540 days after the last reply. New replies are no longer allowed.