@swift-5.1.5 protocol P {} class A {} class B : A, P {} func f() -> A & P { return B() }