FIX #2080: an optimisation to remove a widening was wrong