Commit Graph

4 Commits

Author SHA1 Message Date
Nate Chandler
cacac0bd83 [SILGen] Allow annotating self @_noImplicitCopy.
Allow @_noImplicitCopy to be applied to methods.  Applying it there
means that the self argument will have the attribute.
2022-09-02 17:32:48 -07: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
409a7d568a [silgen] Change argument emission to emit @_noImplicitCopy arguments in such a form that move checking works on it.
This means that one can pass around let moveOnly values using @_noImplicitCopy.
2021-11-01 09:34:38 -07:00
Michael Gottesman
6e8f83c4b8 [noImplicitCopy] Teach SIL Lowering that noImplicitCopy params are passed at +1 by default. 2021-11-01 09:34:38 -07:00