Skip to content

Commit 485135b

Browse files
committed
SIL: Don't call checkConformance() on an interface type
1 parent 9c30d07 commit 485135b

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

lib/SIL/IR/TypeLowering.cpp

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -3027,6 +3027,11 @@ void TypeConverter::verifyTrivialLowering(const TypeLowering &lowering,
30273027
if (!bitwiseCopyableProtocol)
30283028
return;
30293029

3030+
// We can't check conditional requirements in this case. Why are we seeing
3031+
// interface types here at all?
3032+
if (substType->hasTypeParameter())
3033+
return;
3034+
30303035
auto conformance = M.checkConformance(substType, bitwiseCopyableProtocol);
30313036

30323037
if (lowering.isTrivial() && !conformance) {

0 commit comments

Comments
 (0)