diff options
| author | Deadbeef <ent3rm4n@gmail.com> | 2022-08-28 04:32:27 +0000 |
|---|---|---|
| committer | Deadbeef <ent3rm4n@gmail.com> | 2022-09-16 11:48:43 +0800 |
| commit | a77f4bc6d31a6f3bc320c67eddb24003799a1722 (patch) | |
| tree | a271a4070aeefc3c566a104471e944f8b045a6f0 | |
| parent | 03ac7e0d0be88e8dbdc529c89ccc74d80ce9c1c9 (diff) | |
| download | rust-a77f4bc6d31a6f3bc320c67eddb24003799a1722.tar.gz rust-a77f4bc6d31a6f3bc320c67eddb24003799a1722.zip | |
Mark `Drop` with `#[const_trait]`
| -rw-r--r-- | library/core/src/ops/drop.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/core/src/ops/drop.rs b/library/core/src/ops/drop.rs index de9ddb852df..a2c3d978cc4 100644 --- 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. /// |