Motivationに
がかいてあって、 Detailed Designに
が書いてあるので、 できることになってるはずなんだよな
// we cannot return a lazily computed opaque result type func f2() -> () -> some P { /* ... */ }
For example, func f() -> () -> some P is valid, and func g() -> (some P) -> () produces an error:
