blob: 3d03d19448ee8a48ccb9c5e0acdc1782c1771cef [file] [log] [blame]
// RUN: %target-typecheck-verify-swift
typealias A = B // expected-note{{type declared here}}
typealias C = D
typealias D = (A, Int) // expected-error{{type alias 'A' references itself}}
typealias B = C