// RUN: %target-swift-frontend -emit-ir %s | |
public protocol P1 { | |
associatedtype Value | |
} | |
public protocol P2 { | |
associatedtype Value | |
} | |
public class Class2<V> : P2 { | |
public typealias Value = V | |
} | |
public class Superclass<T1, T2> where T1 : P1, T2 : P2, T2.Value == T1.Value { | |
} | |
public class Subclass<T1, T2> : Superclass<T1, T2> where T1 : P1, T2 : Class2<T1.Value> { | |
} |