3 Commits

Author	SHA1	Message	Date
Rick van Voorden	f8ae46b3f3	[inclusive-language] changed sanity to soundness	2024-01-25 18:18:02 -08:00
Michael Gottesman	f1182a73da	[no-implicit-copy] Remove auto +1 param signature change called by noimplicit copy in favor of following normal convention. ... I also added a bunch of tests for both the trivial/non-trivial case as well as some docs to SIL.rst.	2022-07-19 16:39:03 -07:00
Michael Gottesman	3088fe1a01	[move-only] Add support in SILGen for unwrapping moveonlywrapped values before materializing for a function argument. ... I discovered this as I began to write some Interpreter tests for move only. This was triggered by SILGen attempting to pass a non-trivial type to StringBuilder which is generic, so we needed to materialize. I also discovered a small bug where we were not properly ignoring class_method in the move only type eliminator. I just folded the small fix + a test for that into this commit.	2022-06-22 15:31:57 -07:00