Jakub Kądziołka د مفهوم ثبوت خپور کړ چې سمدستي ستونزې ورسره تړلې ښیې د Rust کمپیلر پروژه کې بګ، کوم چې پراختیا کونکي د څلورو کلونو لپاره د حل کولو لپاره ناکامه هڅه کوي.
د جاکوب لخوا رامینځته شوی مثال تاسو ته اجازه درکوي د خورا ساده چال سره د پور چیکر بای پاس کړئ:
fn main() {
اجازه راکړئ بوم = fake_static::make_static(&vec![0; 1<<20]);
println!("{:?}", بوم);
}
پراختیا کونکی غوښتنه کوي چې دا کار په تولید کې ونه کارول شي ، ځکه چې د دې هدف یوازې هغه مسلې ته پاملرنه وه چې د زنګ پراختیا کونکو لخوا له پامه غورځول شوي.
سرچینه: linux.org.ru