Because in 99% of the cases we know what that “right thing” is, and I don’t think we should enforce rigor on the author when we can figure out what they meant (or rather, what the implications of what they meant are) in code.