@swift-5.1.5 struct AE: Error {} struct BE: Error {} func f<X: Error>(_ a: X, _ b: X) {} f(AE(), BE())