Structural opaque result types

Evolution Pitches
,
15

Does this pitch enable (some P).Type?

func foo() -> (some Numeric).Type {
    return Int.self
}
let someType = foo()
print(someType.zero) // 0
5 Likes