Յակուբ Կաձիոլկան հրապարակել է հայեցակարգի ապացույց, որը ցույց է տալիս անմիջականորեն կապված խնդիրները. սխալ Rust կոմպիլյատոր նախագծում, որը մշակողները չորս տարի անհաջող փորձում էին լուծել։
Jakub-ի մշակած օրինակը թույլ է տալիս շրջանցել Borrow Checker-ը շատ պարզ հնարքով.
fn main() {
թող բում = fake_static::make_static(&vec![0; 1<<20]);
println!("{:?}", բում);
}
Մշակողը խնդրում է, որ այս լուծումը չօգտագործվի Production-ում, քանի որ դրա նպատակն էր միայն ուշադրություն հրավիրել Rust-ի մշակողների կողմից անտեսված խնդրի վրա:
Source: linux.org.ru