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