typeMerge

Merge types of e1 and e2 into a common subset

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

Parameters

sc Scope*

Current scope

op TOK

Operator such as e1 op e2. In practice, either TOK.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