diff options
| author | Alex Crichton <alex@alexcrichton.com> | 2014-12-21 00:03:59 -0800 |
|---|---|---|
| committer | Alex Crichton <alex@alexcrichton.com> | 2014-12-21 09:26:41 -0800 |
| commit | bc99ced5708599c5644a189eca8834453691965e (patch) | |
| tree | ea748894168b8fb6c73488b3a8545c0e93e0ef7b /src/libcore | |
| parent | 693cfab5a6ce594f532ec0b34922ce35c7503869 (diff) | |
| parent | 1afa8acca8d9c548da99ef30d3a13c0d086203f3 (diff) | |
rollup merge of #19838: shepmaster/invariant-lifetime-copy
Both ContravariantLifetime and CovariantLifetime are marked as Copy, so it makes sense for InvariantLifetime to be as well.
Diffstat (limited to 'src/libcore')
| -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 93fd3f1b9f1..5e2c30f145f 100644 --- a/src/libcore/kinds.rs +++ b/src/libcore/kinds.rs @@ -252,11 +252,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 |