@swiftbot --version=2018-06-18-a,4.1.1 protocol A { associatedtype C = B } struct B {} struct D<T>: A {} extension D where T: A { typealias C = T.C }