Merge pull request #81928 from slavapestov/test-issue-81712

Add regression test for fixed crasher

Author: slavapestov

validation-test/compiler_crashers_2_fixed/issue-81712.swift

@@ -0,0 +1,20 @@
+// RUN: %target-typecheck-verify-swift
+
+protocol Id {
+  associatedtype ID
+}
+
+protocol P<Id1> {
+  associatedtype Id1: Id
+  associatedtype Id2: Id where Id2.ID == Id1.ID
+
+  func foo(_: Id2.ID)
+}
+
+struct MyId: Id {
+  typealias ID = Int
+}
+
+func f(id: Int, cache: any P<MyId>) {
+  cache.foo(id)
+}