Merge pull request #27885 from CodaFi/a-breach-of-protocol

Author: swift-ci

lib/AST/GenericSignatureBuilder.cpp

@@ -1442,6 +1442,10 @@ void RequirementSource::print(llvm::raw_ostream &out,
 static Type formProtocolRelativeType(ProtocolDecl *proto,
                                      Type baseType,
                                      Type type) {
+  // Error case: hand back the erroneous type.
+  if (type->hasError())
+    return type;
+
   // Basis case: we've hit the base potential archetype.
   if (baseType->isEqual(type))
     return proto->getSelfInterfaceType();

validation-test/compiler_crashers_2_fixed/rdar56116278.swift

@@ -0,0 +1,3 @@
+// RUN: not %target-typecheck-verify-swift
+
+protocol P where A : Int {}