The type checker has a nice little Because thing that gets passed around as a way of reifying why particular constraints or decisions were made. It isn't really used at the moment, but it'd maybe be useful to have a with_context() method on the message adder thingy for more useful error messages
The type checker has a nice little
Becausething that gets passed around as a way of reifying why particular constraints or decisions were made. It isn't really used at the moment, but it'd maybe be useful to have awith_context()method on the message adder thingy for more useful error messages