Michael Gottesman 3c38c79f7a [region-isolation] Implement MergeIsolationRegionInst. ...

I am adding this instruction to express artificially that two non-Sendable
values should be part of the same region. It is meant to be used in cases where
due to unsafe code using Sendable, we stop propagating a non-Sendable dependency
that needs to be made in the same region of a use of said Sendable value. I
included an example in ./docs/SIL.rst of where this comes up with @out results
of continuations.

2024-11-01 11:25:53 -07:00

82 KiB

Raw Blame History

View Raw