[lang-ref] ( arithmetic_operator_plus_result_type ) ( python )
def test_arithmetic_operator_plus_result_type():
# int + float -> float
a = 3
b = 0.5
c = a + b
assert type(a) is int
assert type(b) is float
assert type(c) is float
a = 6
b = 2
c = a + b
assert type(a) is int
assert type(b) is int
assert type(c) is int