Michael Gottesman 2340dba27b [silgen] Place hop_to_executor emission for an apply within a formal evaluation scope. ...

Without this, the borrow of the hop_to_executor lasts after the apply. Beyond
being unnecessary this results in an OSSA violation if we are passing an actor
as an isolated parameter to an initializer since we hop_to_executor the actor
and then pass it as a +1 parameter to the initializer causing the actor to be
consumed before its borrow ends.

rdar://144994837

2025-03-07 11:51:22 -08:00

294 KiB

Raw Permalink Blame History

View Raw