> The code is [already] written[ and doesn't include that information in its types]. By that logic, the code is already written and doesn't include that inform

> The code is [already] written[ and doesn't include that information in its types]. By that logic, the code is already written and doesn't include that information in its comments, either. > if the person who wrote the code had written a doc comment, I would know [the invariants]. If you're going to ask that the person who wrote the code have written it differently, there's (in general, at least) no reason to ask for comments in preference to types.