@swift-main

protocol P {} extension Int: P {} print(P.self is P.Type) print(P.self is P.Protocol) print(Int.self is P.Type) print(Int.self is P.Protocol)

(edited)