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...