Literal widening

Inference replacing an exact literal with a broader primitive type when a value may need to change.

Also known as widening literal type