Michael Gottesman 0da22388cb [silgen] Make sure that thunks that convert to/from nonisolated(nonsending) handle hopping correctly. ...

Specifically:

1. When we convert a function to nonisolated(nonsending), we need to
make sure that in the thunk we hop upon return since nonisolated(nonsending)
functions are assumed to preserve the caller's isolation.

2. When we convert a function from nonisolated(nonsending), we need to
make sure that in the thunk we hop onto the actor that we are passing in as the
isolated parameter of the nonisolated(nonsending) function. This ensures that
the nonisolated(nonsending) function can assume that it is already on its
isolated parameter's actor at function entry.

rdar://155905383

2025-07-18 10:08:21 -07:00

325 KiB

Raw Permalink Blame History

View Raw