Add testcase for fixed circular reference issue: rdar://89921930

test/Generics/rdar89921930.swift

@@ -0,0 +1,16 @@
+// RUN: %target-swift-frontend -typecheck -verify %s
+
+// This used to hit a circularity.
+
+public protocol P {}
+
+public struct G<T : P> {}
+
+public typealias A<T : P> = G<T>
+
+public protocol Circle {
+  associatedtype X : P
+  associatedtype Y where Y == A<X>
+}
+
+