diff options
| author | Jake Goulding <jake.goulding@gmail.com> | 2014-12-14 09:48:56 -0500 |
|---|---|---|
| committer | Jake Goulding <jake.goulding@gmail.com> | 2014-12-17 19:04:15 -0500 |
| commit | 1afa8acca8d9c548da99ef30d3a13c0d086203f3 (patch) | |
| tree | 39a425a9f9665d61a32668920df787ad4406c9e1 | |
| parent | 22a9f250b5e2de64c13c0f056aec13eb086ef79d (diff) | |
| download | rust-1afa8acca8d9c548da99ef30d3a13c0d086203f3.tar.gz rust-1afa8acca8d9c548da99ef30d3a13c0d086203f3.zip | |
Use #[deriving(Copy)] for InvariantLifetime
| -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 |