[ConstraintSystem] Fix a few constraint system corner cases with explicit

existential types.
This commit is contained in:
Holly Borla
2022-01-07 01:24:39 -08:00
parent b7c634849d
commit 5dced8e5f9
7 changed files with 109 additions and 46 deletions

View File

@@ -1,4 +1,5 @@
// RUN: %target-typecheck-verify-swift
// RUN: %target-typecheck-verify-swift -enable-explicit-existential-types
protocol P { }