@swift-5.1.5 protocol P {} func f<T>(_ x: Any, _ t: T.Type) -> (P & T)? { return x as? P & T } (edited)