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-14 09:49:02 -0500 |
| commit | 5966815abea77bd4497634fcb06c7bbdecf5e08a (patch) | |
| tree | 953aafbe1f9b390ae3bb78215d9a8e60cecd20df | |
| parent | f07526a9990ab07983905fb5f383e62ae72242bc (diff) | |
InvariantLifetime is Copy-able
Both ContravariantLifetime and CovariantLifetime are marked as Copy, so it makes sense for InvariantLifetime to be as well.
| -rw-r--r-- | src/libcore/kinds.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/libcore/kinds.rs b/src/libcore/kinds.rs index 2b92ae8af0a..c0673c46142 100644 --- a/src/libcore/kinds.rs +++ b/src/libcore/kinds.rs @@ -259,6 +259,8 @@ pub mod marker { #[deriving(Clone, 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 |