Andrew Trick e705a6d7c3 Temporarily introduce AnyInteriorPointer operand ownership. ...

This is necessary to fix a recent OSSA bug that breaks common occurrences on
mark_dependence [nonescaping]. Rather than reverting that change above, we make
forward progress toward implicit borrows scopes, as was the original intention.

In the near future, all InteriorPointer instructions will create an implicit
borrow scope. This means we have the option of not emitting extraneous
begin/end_borrow instructions around intructions like ref_element_addr,
open_existential, and project_box. After that, we can also migrate
GuaranteedForwarding instructions like tuple_extract and struct_extract.

2025-02-05 16:23:02 -08:00

20 KiB

Raw Permalink Blame History

View Raw