うーん、嘘を言ったかもしれないなぁ @swift-5.2.5

func printType<T>(_ v: T) { print(type(of: v)) } protocol P {} extension Int: P {} let a: P = 1 printType(a) print(type(of: a))