Jakub Kądziołka ilə əlaqəli dərhal problemləri göstərən konsepsiya sübutu nəşr etdi. Rust kompilyator layihəsində səhv, tərtibatçıların dörd ildir uğursuz şəkildə həll etməyə çalışdıqları.
Jakub tərəfindən hazırlanmış bir nümunə çox sadə bir hiylə ilə Borrow Checker-dən yan keçməyə imkan verir:
fn main() {
let bum = fake_static::make_static(&vec![0; 1<<20]);
println!("{:?}", bum);
}
Tərtibatçı bu həll yolunun İstehsalatda istifadə edilməməsini xahiş edir, çünki onun məqsədi yalnız Rust tərtibatçıları tərəfindən nəzərə alınmayan məsələyə diqqəti cəlb etmək idi.
Mənbə: linux.org.ru