From 3322595e896e95c3e19ca33c854ad529f2ef3c19 Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Mon, 1 Apr 2013 22:32:37 -0700 Subject: Reason about nested free variables that appear in a function signature. In a nutshell, the idea is to (1) report an error if, for a region pointer `'a T`, the lifetime `'a` is longer than any lifetimes that appear in `T` (in other words, if a borrowed pointer outlives any portion of its contents) and then (2) use this to assume that in a function like `fn(self: &'a &'b T)`, the relationship `'a <= 'b` holds. This is needed for #5656. Fixes #5728. --- src/libcore/tuple.rs | 1 - 1 file changed, 1 deletion(-) (limited to 'src/libcore/tuple.rs') diff --git a/src/libcore/tuple.rs b/src/libcore/tuple.rs index 35b8496f6c5..8234129e254 100644 --- a/src/libcore/tuple.rs +++ b/src/libcore/tuple.rs @@ -161,7 +161,6 @@ impl Ord for (A,) { fn gt(&self, other: &(A,)) -> bool { other.lt(&(*self)) } } - #[cfg(notest)] impl Eq for (A, B) { #[inline(always)] -- cgit 1.4.1-3-g733a5