↓これは OK @swift-5.1.5

protocol P {} struct FooError: Error, P {} func foo<E: Error>(_ error: E) {} let e1: Error = FooError() foo(e1) // OK let e2: Error & P = FooError() //foo(e2) // NG let e3: Error = e2 foo(e3) //OK