This is necessary because: func foo() -> some P func foo() -> some P theoretically defines two distinct return types, but there'd be no way to disambiguate them. Disallow ove...
3:46 AM
Opaque Result Type を持つ関数が、返り値の型のジェネリックシグネチャをmanglingに含めていなくて
3:46 AM
返り値オーバーロードができない（コンパイラクラッシュ）んだけど
3:46 AM
それを正式にsemaで禁止するようにするPR↑(edited)
3:46 AM
未実装なのかと思って様子を見てたけど、意図的な設計だったっぽい
3:47 AM
I was also trying to prevent:
func foo() -> some P func foo() -> some Q
since there would still be no way to disambiguate these.
