Об утечке памяти в Rust'е

https://doc.rust-lang.org/std/mem/fn.forget.html

https://doc.rust-lang.org/std/boxed/struct.Box.html#method.leak

Спасибо, но там что-то другое было. Там прям переменная, которую borrow checker в результате сложных манипуляций не видит, и в итоге она не освобождается.

cve-rs? https://github.com/Speykious/cve-rs

Issue #25860

Баг в борроучекере. Когда-нибудь поправят

не надо никаких «очень сложных» игр, чтобы получить утечку памяти. Memory leaks достигается очень просто, и это поведение задокументировано

вот так вот

Будто бы не оно, но очень похоже. Благодарю.

В том что я ищу бага никакого нет. Ну или баг в самой модели работы borrow checker’а. Оно заведомо не может быть исправлено.

Но я бы сильнее отстаивал такие тезисы, если бы нашёл тот самый код и его описание.

Оно заведомо не может быть исправлено.

Leakpocalypse может быть? https://cglab.ca/%7Eabeinges/blah/everyone-poops/ Но, как выше упоминали, никакого особо сложного кода там не нужно: создаётся reference cycle.

Впрочем к борроучекеру это не имеет отношения. Формализацией семантики борроучекера занимаются давно и пока никаких неисправимых проблем не найдено.

Может он имел в виду https://crates.io/crates/fake-static

но это тот же самый баг что в cve-rs

Да, спасибо, это оно.

I am locking this thread, since its 100+ comments have become impossible to navigate. Please open threads on zulip if you want to discuss this issue or related bugs

Баг десятилетней давности, и всё что с ним смогли сделать, это закрыть дальнейшее добавление каментов.

Camel

    let boom = fake_static::make_static(&vec![0; 1<<20]);
    println!("{:?}", boom);

8 | pub fn make_static<'a, T>(input: &'a T) -> &'static T {
  |                    -- lifetime `'a` defined here
9 |     let f: fn(_, &'a T) -> &'static T = helper;
  |            ^^^^^^^^^^^^^^^^^^^^^^^^^^ type annotation requires that `'a` must outlive `'static`

error: could not compile `fake-static` (lib) due to 1 previous error

починили, там же новый трейт-солвер реализовали, который и этот баг исправлял, похоже, стабилизировали

Ну круто же!