EG
Безнадёжно. Локальных переменных в куче в Rust нет.
Size: a a a
2021 April 28
П
Ну вообще смысл есть, но хз
TK
И хз, как это поможет лин типам
AN
EG
Вот эти два пункта это и есть линтипы, всё
EG
Ну, это релевантные типы, но аффинные в Rust уже были
B
TK
Нет, подожди, а где тогда гарантия дропа?
TK
Она же никуда не денется
EG
В плане — ты обязан вызвать дроп.
EG
Или любую другую функцию, в которую передать владение
EG
Рано или поздно эта цепочка обязана упереться в деструктурирование значения
EG
*или стать бесконечно-рекурсивной, но это всегда так
TK
Может, тут нужно нечто противоположное дропу? Вроде маркера CannotDrop
EG
Можно было бы накостылить сверху, да
П
must_use на уровне типа
B
да, !Drop
EG
#[must_use] есть на уровне типа, он просто делает не этоEG
Короче, я тут лучше, чем Ганкра не выскажусь.
П
он же просто линтит, не?