The point you’re trying to make is correct on a technical level, not a functional one. Unfortunately we can’t will languages into behaving in ways we think is ideal simply by making pointless assertions in obscure forums.