[TM-341] Clarify annotations in errors semantics
When mentioning that an error can be (nat: required, nat: expected)
, I didn't mean that those fields should actually be annotated, let's clarify it.
When mentioning that an error can be (nat: required, nat: expected)
, I didn't mean that those fields should actually be annotated, let's clarify it.