Apply type promotion in a specific context Used by operators to normalize operand types
The value to promote
Current type name
The promotion context
Optional
Optional explicit target type
Apply type promotion in a specific context Used by operators to normalize operand types