B
Size: a a a
2021 April 28
D
Это как?
TK
Во-первых, Copy. Во-вторых, просто типы без ручной реализации Drop.
EG
Copy не могут быть релевантными
ИЛ
impl Drop for Yay {
fn drop(&mut self) {
panic!("I'm totally !Drop");
}
}TK
Говно
ИЛ
10/10 решение
ИЛ
Программист за всем проследит
B
короче надо Undrop
2021 April 29
EG
s/panic/dont_panic
S
impl Drop for Yay {
fn drop(&mut self) {
dont_panic!("I'm totally !Drop");
}
}
fn drop(&mut self) {
dont_panic!("I'm totally !Drop");
}
}
D
Это невозможно
B
утилизация через mem::forget
D
Я видимо поздно ворвался в дискуссию, а какую проблему решаем?
EG
Релевантные типы
TK
Rfc был в 2015 году, но он postponed, как вы уже догадались
TK
Affine, кстати, замечательное имя для трейта было бы, как его предложили назвать в одном комментарии из обсуждения
EG
Оно всё уже Affine. Нужно Relevant.
TK
Всё изначально тоже было Sized
TK
И так и осталось