i.e. func foo() -> <T> T where T.U == Int

と本人が投稿しているのでそうだと思います。

3:10 AM

Opaque Result Type の一般化構文だからgeneral opaque typeと個人的に呼んだんじゃないだろうか。