Merge pull request swiftlang#28361 from CodaFi/the-great-filter

Filter out invalid nested types from typealias override checking

Author: CodaFi

lib/AST/GenericSignatureBuilder.cpp

@@ -4102,6 +4102,10 @@ ConstraintResult GenericSignatureBuilder::expandConformanceRequirement(
         auto type = dyn_cast<TypeDecl>(found);
         if (!type || isa<AssociatedTypeDecl>(type)) continue;
 
+        // Ignore nominal types. They're always invalid declarations.
+        if (isa<NominalTypeDecl>(type))
+          continue;
+
         // ... from the same module as the protocol.
         if (type->getModuleContext() != proto->getModuleContext()) continue;
 

validation-test/compiler_crashers_2_fixed/rdar57003317.swift

@@ -0,0 +1,9 @@
+// RUN: not %target-swift-frontend -typecheck %s
+
+protocol Iteratee {
+  associatedtype Iterator
+}
+
+protocol BidirectionalAdvancingCollection: Iteratee {
+  struct Iterator<Elements> {}
+}