Skip to content

Commit 157de8c

Browse files
committed
NFC. Reorder a verifier check for obvious efficiency.
1 parent 12841a9 commit 157de8c

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

lib/SIL/SILVerifier.cpp

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -2380,8 +2380,8 @@ class SILVerifier : public SILVerifierBase<SILVerifier> {
23802380
}
23812381
return false;
23822382
};
2383-
require(!isMutatingOrConsuming(OEI) ||
2384-
allowedAccessKind == OpenedExistentialAccess::Mutable,
2383+
require(allowedAccessKind == OpenedExistentialAccess::Mutable
2384+
|| !isMutatingOrConsuming(OEI),
23852385
"open_existential_addr uses that consumes or mutates but is not "
23862386
"opened for mutation");
23872387
}

0 commit comments

Comments
 (0)