EG
Релевантные типы
Size: a a a
2021 April 29
EG
Кам он
TK
Дроп автоматический, его не всегда хватает
EG
Ты не можешь не знать
TK
Подвид релевантных (1+) - линейные (1)
П
Я так и не понял ни одного примера нормально)
П
Ну кроме уровня линта был один
TK
Гарантирую, будь оно в системе типов, нашлось бы достаточно применений
П
Не, это то точно да
П
Флаг для scoped thread'ов?
ΑZ
ну прост для меня дроп с пустым телом это тоже использование
П
Фигня, можно утечь
ΑZ
а то тут недавно с коммунистом одним обсуждали тоже
TK
Вполне возможно
EG
Ну, если его нужно в явном виде вызвать, то да
ΑZ
что скушать булочку это использование с сжечь в печке или нарошить голубям уже нет
EG
Иначе ограничение не имеет никакого смысла, потому что дропнется-то всё автоматически
ΑZ
все правильно, значит у всего есть использование
А⚙
Я про то, что нельзя зафорсить, что значение не будет неявно дропнуто
ΑZ
или допичсывание руками drop(x) в конце функции магическим образом меняет семантику