какие условия он проверяет? чтобы не было рекурсивного содержания типа/параметра?
я просто с тех времен еще когда делали #[may_dangle]
https://doc.rust-lang.org/nomicon/dropck.html
Обсуждают сегодня