Merge pull request #15978 from DougGregor/minor-cleanups

Author: swift-ci

include/swift/Sema/TypeCheckRequestKinds.def

@@ -45,10 +45,6 @@ TYPE_CHECK_REQUEST(TypeCheckRawType, Enum)
 /// Compute the set of inherited protocols for a given protocol.
 TYPE_CHECK_REQUEST(InheritedProtocols, Protocol)
 
-/// Partially resolve a type, forming enough of its structure to make
-/// structural queries but not determining correctness.
-TYPE_CHECK_REQUEST(ResolveTypeRepr, TypeResolution)
-
 /// Resolve the given type declaration to the requested type
 /// resolution stage.
 TYPE_CHECK_REQUEST(ResolveTypeDecl, TypeDeclResolution)

lib/Sema/CMakeLists.txt

@@ -27,7 +27,6 @@ add_swift_library(swiftSema STATIC
   DerivedConformances.cpp
   ITCDecl.cpp
   ITCNameLookup.cpp
-  ITCType.cpp
   InstrumenterSupport.cpp
   IterativeTypeChecker.cpp
   MiscDiagnostics.cpp

lib/Sema/ITCType.cpp

@@ -0,0 +1,21 @@
+// RUN: not --crash %target-swift-frontend %s -emit-ir
+
+protocol P20 { }
+
+protocol P21b {
+	associatedtype T
+
+	func foo(_: (T?) -> Void)
+}
+
+protocol P21a {
+	associatedtype T
+
+	func bar(_: ([T]) -> Void)
+}
+
+extension P21b where Self: P21a, T: P20 {
+	func foo(_: (T?) -> Void) {
+		bar { _ in }
+	}
+}