Mark Drop with #[const_trait]

fee1-dead · fee1-dead · commit a77f4bc6d31a · 2022-09-16T11:48:43.000+08:00
diff --git a/library/core/src/ops/drop.rs b/library/core/src/ops/drop.rs
@@ -134,6 +134,7 @@
 /// these types cannot have destructors.
 #[lang = "drop"]
 #[stable(feature = "rust1", since = "1.0.0")]
+#[const_trait]
 pub trait Drop {
     /// Executes the destructor for this type.
     ///
