@swift-5.3.3
protocol P {} extension Int: P {} func fooP(_ a: P) { print(type(of: a)) } func fooT<T>(_ a: T) { print(type(of: a)) } func fooPT(_ a: P) { fooT(a) } fooP(1) fooT(1) fooPT(1)