diff options
| -rw-r--r-- | src/libcore/kinds.rs | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/libcore/kinds.rs b/src/libcore/kinds.rs index 69f65e23389..d31ff81091c 100644 --- a/src/libcore/kinds.rs +++ b/src/libcore/kinds.rs @@ -256,11 +256,9 @@ pub mod marker { /// and this pointer is itself stored in an inherently mutable /// location (such as a `Cell`). #[lang="invariant_lifetime"] - #[deriving(Clone, PartialEq, Eq, PartialOrd, Ord)] + #[deriving(Clone, Copy, PartialEq, Eq, PartialOrd, Ord)] pub struct InvariantLifetime<'a>; - impl<'a> Copy for InvariantLifetime<'a> {} - /// A type which is considered "not sendable", meaning that it cannot /// be safely sent between tasks, even if it is owned. This is /// typically embedded in other types, such as `Gc`, to ensure that |