Joe Groff 6f2811110d Sema: discard self should not be allowed in inlinable methods of non-frozen types. ...

`discard self` requires knowledge of the internal layout of the type in order to clean
up its fields while bypassing its public `deinit`. Inlinable code can get copied into
and run from outside of the defining module, so this is impossible to implement.
Fixes rdar://160815058.

2025-10-17 16:14:58 -07:00

745 B

Raw Permalink Blame History

View Raw