the current scope
--> src/main.rs:2:7
|
2 | x.drop();
| ^^^^
|
= help: items from traits can only be used if the type parameter is bounded by the trait
help: the following trait defines an item `drop`, perhaps you need to restrict type parameter `T` with it:
|
1 | fn func<T: std::ops::Drop>(mut x: T) {
| ^^^^^^^^^^^^^^^^^
почему при мономорфизации компилятор вставляет вызов дропа, хотя у T нет баунда по Drop?
Значит компилятор не вставляет автоматически пустой drop.
Обсуждают сегодня