Yes, I'm working on an implementation of general opaque result types, i.e. func foo() -> <T> T where T.U == Int.

Yes, I'm working on an implementation of general opaque result types, i.e. func foo() -> T where T.U == Int.