averello/swift-mirror
1
0
Fork 0
mirror of https://github.com/apple/swift.git synced 2025-12-21 12:14:44 +01:00
Code Issues Packages Projects Releases Wiki Activity

[NFC] replace canBeNoncopyable

Browse Source 
First, "can have an absence of Copyable" is a rather confusing notion,
so the query is flipped to "can be Copyable". Next, it's more robust to
ask if a conformance exists for the TypeDecl to answer that question,
rather than trying to replicate what happens within that conformance
lookup.

Also renames `TypeDecl::isEscapable` to match.
This commit is contained in:
Kavon Farvardin
2024-01-14 15:30:41 -08:00
parent 483b569bc8
commit b4985f7fde
23 changed files with 145 additions and 66 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
lib/SIL/IR/SILModule.cpp
View File

@@ -680,7 +680,7 @@ lookUpFunctionInVTable(ClassDecl *Class, SILDeclRef Member) {
SILFunction *
SILModule::lookUpMoveOnlyDeinitFunction(const NominalTypeDecl *nomDecl) {
assert(nomDecl->canBeNoncopyable());
assert(!nomDecl->canBeCopyable());
auto *tbl = lookUpMoveOnlyDeinit(nomDecl);