[Bikeshedding]: Supporting throwing transforms on Result

There isn’t for correctly formed code (that is, code that type checks correctly). However, if the code is incorrect then the type checker gives very bad errors.

3 Likes