Rust errors / Types and traits
Rust compiler error · checked with rustc 1.99.0
Rust error E0184: the trait `Copy` cannot be implemented for this type; the type has a destructor
What it meansThe Copy trait was implemented on a type with a Drop implementation.
What rustc prints
error[E0184]: the trait `Copy` cannot be implemented for this type; the type has a destructor --> main.rs:2:8 | 1 | #[derive(Copy)] | ---- in this derive macro expansion 2 | struct Foo; // error! | ^^^ `Copy` not allowed on types with destructors | note: destructor declared here --> main.rs:5:5 | 5 | fn drop(&mut self) { | ^^^^^^^^^^^^^^^^^^
Real output of rustc 1.99.0 compiling the official example below (2021 edition). Your names and line numbers will differ; the first line is the part to match.
The compiler team's explanation
The Copy trait was implemented on a type with a Drop implementation.
Erroneous code example:
#[derive(Copy)]
struct Foo; // error!
impl Drop for Foo {
fn drop(&mut self) {
}
}
Explicitly implementing both Drop and Copy trait on a type is currently disallowed. This feature can make some sense in theory, but the current implementation is incorrect and can lead to memory unsafety (see issue #20126), so it has been disabled for now.
From rustc --explain E0184 (1.99.0), part of the Rust project, MIT or Apache-2.0. Official page.
Related errors
- E0308mismatched types
- E0277the trait bound is not satisfied
- E0599no method named X found in the current scope
- E0433failed to resolve
- E0178expected a path on the left-hand side of `+`
- E0183manual implementations of `FnOnce` are experimental
- E0185method `foo` has a `&self` declaration in the impl, but not in the trait
- E0186method `foo` has a `&self` declaration in the trait, but not in the impl
Up next
Often hit nextE0308: mismatched typesA related error from the same family.Read it next →Did this answer your question?