3 Commits

Author	SHA1	Message	Date
Michael Gottesman	cff835e061	[region-isolation] Perform checking of non-Sendable results using rbi rather than Sema. ... In terms of the test suite the only difference is that we allow for non-Sendable types to be returned from nonisolated functions. This is safe due to the rules of rbi. We do still error when we return non-Sendable functions across isolation boundaries though. The reason that I am doing this now is that I am implementing a prototype that allows for nonisolated functions to inherit isolation from their caller. This would have required me to implement support both in Sema for results and arguments in SIL. Rather than implement results in Sema, I just finished the work of transitioning the result checking out of Sema and into SIL. The actual prototype will land in a subsequent change. rdar://127477211	2024-12-02 16:54:12 -05:00
Michael Gottesman	32b4de60a9	Rename transfer -> send. ... Accomplished using clangd's rename functionality.	2024-11-04 15:17:51 -08:00
Michael Gottesman	f23ad55acb	[region-isolation] Eliminate CRTP for errors and just pass through an error struct instead. ... This is going to let me just pass through the error struct to the diagnostic rather than having the CRTP and then constructing an info object per CRTP. Currently, to make it easier to refactor, I changed the code in TransferNonSendable to just take in the new error and call the current CRTP routines. In the next commit, I am going to refactor TransferNonSendable.cpp itself. This just makes it easier to test that I did not break anything.	2024-10-24 15:00:43 -07:00