Решение на упр.01 теор. задача 2 от Мартин Георгиев
Към профила на Мартин Георгиев
Резултати
- 1 точка от тестове
- 0 бонус точки
- 1 точка общо
- 0 успешни тест(а)
- 0 неуспешни тест(а)
Код
// Кодът ще се компилира успешно.
// Компилаторът вижда, че:
// 1) променливата x е цяло число без зададен тип,
// 2) x бива събрано със променливата z от зададен тип i64
// и заключва, че типът на x трябва също да е i64,
// тъй като в противен случай събирането щеше да е невалидно.
// Ако бяхме използвали x за две събирания от различни типове,
// кодът НЯМАШЕ да се компилира:
// fn main() {
// let x = 5;
// let (y1, y2): (i64, i32) = (10, 10);
// let z1 = x + y1;
// let z2 = x + y2;
// println!("{} {}", z1, z2);
// }