Doug Gregor 50801f9c05 [SE-0458] Implement "unsafe" effect for the for-in loop ...

Memory unsafety in the iteration part of the for-in loop (i.e., the part
that works on the iterator) can be covered by the "unsafe" effect on
the for..in loop, before the pattern.

2025-02-23 22:50:39 -08:00

12 KiB

Raw Permalink Blame History

View Raw