@swift-5.9.2
protocol P {} struct MySet<Element: Hashable> {} struct MyArray<Element> { func set() -> MySet<Element> where Element: P { .init() } }