...
Rule | Operand 2 | Operand 3 | Resultant Type |
---|---|---|---|
1 | Type T | Type T | Type T |
2 |
|
|
|
3 |
|
|
|
4 |
|
|
|
5 |
|
|
|
6 |
|
|
|
7 |
|
|
|
8 |
|
|
|
9 |
|
|
|
10 | Other numeric | Other numeric | Promoted type of the 2nd second and 3rd third operands |
11 | T1 = boxing conversion(S1) | T2 = boxing conversion(S2) | Apply capture conversion to lub(T1,T2) |
...