Skip to content

Commit 06c4717

Browse files
committed
[TypeJoin] Don't return an existential type when joining protocol
composition types.
1 parent 27ae04e commit 06c4717

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

lib/AST/TypeJoinMeet.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -416,7 +416,7 @@ CanType TypeJoin::visitProtocolCompositionType(CanType second) {
416416
if (fnTy && fnTy->getExtInfo().isNoEscape())
417417
return Nonexistent;
418418

419-
return getAnyExistentialType();
419+
return TheAnyType;
420420
}
421421

422422
assert(First != second);

0 commit comments

Comments
 (0)