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