/
githubmirror
/
sway
Обзор
Документация
Войти
/
githubmirror
/
sway
Код
Запросы
0
Пакеты
0
Релизы
0
Аналитика
Безопасность
master
test/src/ir_generation/tests/shadowed_struct_init.sw
32 строки
612 B
Daniel Frederico Lins Leite
fix modified in optimisation passes so they converge (#7666)
02 июл 2026, 12:05
Не верифицирован
02 июл 2026, 12:05
4c3bc6e
Код
Авторство
О чём код?
script; struct S { a: bool, b: bool, } fn new(a: bool, b: bool) -> S { let a = false; let b = true; S { a: a, // These should be the locals, not the args which are shadowed. b: b, } } fn main() { new(true, false); } // check: fn $ID(mut a $MD: bool, mut b $MD: bool) -> { bool, bool } // check: local bool a__ // check: local bool b__ // check: $(loc_a_var0=$VAL) = get_local __ptr bool, a__ // check: store $VAL to $loc_a_var0 // check: $(loc_a_var1=$VAL) = get_local __ptr bool, a__ // not: $VAL = get_local __ptr bool, a // check: $VAL = load $loc_a_var1