| // 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}} |