test/IRGen/witness_method_after_devirt.swift

// RUN: %target-swift-frontend -assume-parsing-unqualified-ownership-sil -emit-ir -verify %s 

protocol BaseProtocol {
    static func run()
}

protocol DerivedProtocol: BaseProtocol {
}

struct Foo: DerivedProtocol {
    static func run() { }
}

@inline(never)
func test() {
    let t: DerivedProtocol.Type = Foo.self
    t.run()
}