Fix bad warning on already-matching types for number-type inference.