SE-0328: Structural opaque result types

[ensan-hcl (ensan)]

+1. I agree with the design of structural opaque result types.

I have unresolved question in the pitch thread.

Structural opaque result types

Does this pitch enable (some P).Type? func foo() -> (some Numeric).Type { return Int.self } let someType = foo() print(someType.zero) // 0