@swift-4.2.4 @swift-4.1.3

protocol P {} protocol Foo {} extension Int: P {} extension Array: Foo where Element: P {} let a = [1,2,3] print(a is Foo)

(edited)