typeMerge

Merge types of e1 and e2 into a common subset

Parameters e1 and e2 will be rewritten in place as needed.

typeMerge

(

,

,

ref Expression pe1

,

ref Expression pe2

)

Parameters

sc Scope*: Current scope
op EXP: Operator such as e1 op e2. In practice, either EXP.question or one of the binary operator.
pe1 Expression: The LHS of the operation, will be rewritten
pe2 Expression: The RHS of the operation, will be rewritten

Return Value

Type: Type

The resulting type in case of success, null in case of error

Meta

Source

See Implementation

dmd dcast functions