This bug just led to stupid code, which would
later be optimised away, but better not to generate
stupid code in the first place.