Commit Graph

8 Commits

Author SHA1 Message Date
Kavon Farvardin
0420310623 NCGenerics: it's no longer "experimental"
resolves rdar://127701059
2024-05-08 10:49:12 -07:00
Kavon Farvardin
08b71e0136 NCGenerics: rebuild stdlib from its interface
When a NoncopyableGenericsMismatch happens between the compiler and
stdlib, allow the compiler to rebuild the stdlib from its interface
instead of exiting with an error.
2024-02-15 18:08:54 -08:00
Kavon Farvardin
7612682621 NCGenerics: update a number of tests
These tests were not updated in the transition to
`REQUIRES: noncopyable_generics` and thus running them with a
correctly-built stdlib that has the Copyable requirements.
2024-02-02 11:11:17 -08:00
Kavon Farvardin
5f977ca763 NCGenerics: force module mismatches 2024-01-31 14:00:08 -08:00
Andrew Trick
90c3fa3590 Disable SILOptimizer/moveonly_computed_property.swift
This test is blocking CI and the pass is not actively maintained.

rdar://118135397 (Swift CI: test:
SILOptimizer/moveonly_computed_property.swift (SIL verification
failed: 'MoveOnly' types can only be copied in Raw SIL?!))
2023-11-14 11:26:56 -08:00
Kavon Farvardin
3f93370daf [SIL] improve SILType::isMoveOnly
We were missing some of the "artificial" types in the
TypeBase::isNoncopyable implementation. Rather than add them to the
frontend, I just check for those special SIL-only types in
SILType::isMoveOnly.

resolves rdar://117282929
2023-11-01 16:49:35 -07:00
Kavon Farvardin
a9194a5063 [nfc] replace some uses of @_moveOnly 2023-10-28 23:57:09 -07:00
Joe Groff
cb23187209 SILGen: Emit move-only bases for lvalues in a borrow scope.
Normally, if we project from a mutable class ivar or global variable, we'll
load a copy in a tight access scope and then project from the copy, in order to
minimize the potential for exclusivity violations while working with classes and
copyable values. However, this is undesirable when a value is move-only, since
copying is not allowed; borrowing the value in place is the expected and only possible
behavior. rdar://105794506
2023-04-19 14:50:34 -07:00