Skip to content

Commit 6766c1f

Browse files
committed
[ownership] Ban ValueOwnershipKind::Any for now in preparation for changing Trivial to be Any.
rdar://46294760
1 parent c9bb516 commit 6766c1f

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

lib/SIL/SILOwnershipVerifier.cpp

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -709,6 +709,8 @@ void SILValue::verifyOwnership(SILModule &mod,
709709
if (!f->hasQualifiedOwnership() || !f->shouldVerifyOwnership())
710710
return;
711711

712+
assert(getOwnershipKind() != ValueOwnershipKind::Any &&
713+
"No values should have any ownership anymore");
712714
ErrorBehaviorKind errorBehavior;
713715
if (IsSILOwnershipVerifierTestingEnabled) {
714716
errorBehavior = ErrorBehaviorKind::PrintMessageAndReturnFalse;

0 commit comments

Comments
 (0)