Why do we have this comment here: it is explicitly permissible to do something but callers should be smart enough not to do it. Do we really want to save one if in the implementations? If it brings huge performance gains I could unterstand, but not if it is e.g. not measurable in our tests