Michael Gottesman 5d0f2e3d5e [sil] Add [inferred-immutable] flag to alloc_box instruction ...

Introduce a new optional flag on the alloc_box SIL instruction to mark boxes as
inferred immutable, indicating that static analysis has proven they are never
written to despite having a mutable type.

The flag is preserved through serialization/deserialization and properly printed/parsed in textual SIL format.

I am doing this to prepare for treating these boxes as being Sendable when they
contain a sendable weak reference.

2026-01-16 09:09:47 -08:00

160 KiB

Raw Blame History

View Raw