@swift-5.1.5 class Base {} class A: Base {} class B: Base {} func foo<X: Base>(_ values: (X, X)) {} foo((A(), B()))