[Test] Adds a test case

Author: theblixguy

validation-test/compiler_crashers_2_fixed/sr10992.swift

@@ -0,0 +1,10 @@
+// RUN: not %target-swift-frontend -typecheck %s
+
+protocol P {}
+struct S<T> {}
+extension S : P where T : P {}
+
+func foo(_ fn: (S<String>) -> Void) {}
+func bar(_ fn: (P) -> Void) {
+  foo(fn)
+}