// RUN: %target-typecheck-verify-swift -iterative-type-checker

typealias A = B // expected-error{{circular reference}}
typealias C = D // expected-note{{through reference here}}
typealias D = (A, Int) // expected-note{{through reference here}}
typealias B = C // expected-note{{through reference here}}