// RUN: %target-swift-frontend %s -emit-ir

public protocol Proto {
    associatedtype One
    associatedtype Two

    static func bar<T>(elm: One, t: T) -> T
}

struct S<P: Proto> {
    let x: P.Two
    func foo<T>(_ t: T) -> T where P.Two == P.One {
        let x: P.Two = self.x
        let elm: P.One = x as! P.One
        return P.bar(elm: elm, t: t)
    }
}