I don't think Result needs to be tied to error handling. It's useful to be able to interoperate with throws, but a two-argument Result would be useful for clients regardless, and maximally future-proof. We could constrain throws interop APIs to E == Error for now, and reserve the right to generalize them to E: Error if the language ever supports typed throws.
1 Like