Skip to content

Commit 30b09c9

Browse files
committed
hoist an assert for InvalidInverseSubject
1 parent e0e246a commit 30b09c9

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

lib/AST/RequirementMachine/Diagnostics.cpp

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -109,11 +109,12 @@ bool swift::rewriting::diagnoseRequirementErrors(
109109
if (error.requirement.hasError())
110110
break;
111111

112+
assert(error.requirement.getKind() == RequirementKind::Conformance);
113+
112114
auto subjectType = error.requirement.getFirstType();
113115
auto constraintType = error.requirement.getSecondType();
114116

115117
assert(constraintType->is<InverseType>());
116-
assert(error.requirement.getKind() == RequirementKind::Conformance);
117118

118119
ctx.Diags.diagnose(loc, diag::requires_not_suitable_inverse_subject,
119120
subjectType, constraintType);

0 commit comments

Comments
 (0)