Michael Gottesman 8cfb029b5c [sil] Make SILFunctionTypeInfo a struct enum. ...

I am doing this in preparation for adding the ability to represent in the SIL
type system that a function is global actor isolated. Since we have isolated
parameters in SIL, we do not need to represent parameter, nonisolated, or
nonisolated caller in the type system. So this should be sufficient for our
purposes.

I am adding this since I need to ensure that we mangle into thunks that convert
execution(caller) functions to `global actor` functions what the global actor
is. Otherwise, we cannot tell the difference in between such a thunk and a thunk
that converts execution(caller) to execution(concurrent).

2025-03-26 10:23:44 -07:00

53 KiB

Raw Permalink Blame History

View Raw