From 5966815abea77bd4497634fcb06c7bbdecf5e08a Mon Sep 17 00:00:00 2001 From: Jake Goulding <jake.goulding@gmail.com> Date: Sun, 14 Dec 2014 09:48:56 -0500 Subject: [PATCH] InvariantLifetime is Copy-able Both ContravariantLifetime and CovariantLifetime are marked as Copy, so it makes sense for InvariantLifetime to be as well. --- src/libcore/kinds.rs | 2 ++ 1 file changed, 2 insertions(+) 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