---

yaml
---
r: 227320
b: refs/heads/auto
c: c9a49f9
h: refs/heads/master
v: v3

Author: nikomatsakis

[refs]

@@ -8,7 +8,7 @@ refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503
 refs/tags/release-0.3.1: 495bae036dfe5ec6ceafd3312b4dca48741e845b
 refs/tags/release-0.4: e828ea2080499553b97dfe33b3f4d472b4562ad7
 refs/tags/release-0.5: 7e3bcfbf21278251ee936ad53e92e9b719702d73
-refs/heads/auto: 9c3a8664b6c6ab0e5650166220f870c3a0c2b60b
+refs/heads/auto: c9a49f93ac8e9cdbaa22b33c9e3b9a9adffd360c
 refs/tags/release-0.6: b4ebcfa1812664df5e142f0134a5faea3918544c
 refs/tags/0.1: b19db808c2793fe2976759b85a355c3ad8c8b336
 refs/tags/0.2: 1754d02027f2924bed83b0160ee340c7f41d5ea1

branches/auto/src/librustc_typeck/check/regionck.rs

@@ -1562,47 +1562,6 @@ fn components_must_outlive<'a, 'tcx>(rcx: &Rcx<'a, 'tcx>,
     }
 }
 
-/// Checks that all data reachable via `ty` *strictly* outlives `scope`.
-/// This is used by dropck.
-///
-/// CAUTION: It is mostly but not entirely equivalent to `T:'parent`
-/// where `'parent` is the parent of `scope`. The difference is subtle
-/// and has to do with trait objects, primarily. In particular, if you
-/// have `Foo<'y>+'z`, then we require that `'z:'parent` but not
-/// `'y:'parent` (same with lifetimes appearing in fn arguments). This
-/// is because there is no actual reference to the trait object that
-/// outlives `scope`, so we don't need to require that the type could
-/// be named outside `scope`.  Because trait objects are always
-/// considered "suspicious" by dropck, if we don't add this special
-/// case, you wind up with some kind of annoying and odd limitations
-/// that crop up
-/// `src/test/compile-fail/regions-early-bound-trait-param.rs`.
-/// Basically there we have `&'foo Trait<'foo>+'bar`, and thus forcing
-/// `'foo` to outlive `'parent` also forces the borrow to outlive
-/// `'parent`, which is longer than should be necessary. The existence
-/// of this "the same but different" predicate is somewhat bothersome
-/// and questionable.
-pub fn type_strictly_outlives<'a, 'tcx>(rcx: &mut Rcx<'a, 'tcx>,
-                                        origin: infer::SubregionOrigin<'tcx>,
-                                        ty: Ty<'tcx>,
-                                        scope: CodeExtent)
-{
-    debug!("type_strictly_outlives(ty={:?}, scope={:?})",
-           ty, scope);
-
-    let span = origin.span();
-
-    let parent_region =
-        match rcx.tcx().region_maps.opt_encl_scope(scope) {
-            Some(parent_scope) => ty::ReScope(parent_scope),
-            None => rcx.tcx().sess.span_bug(
-                span, &format!("no enclosing scope found for scope: {:?}",
-                               scope)),
-        };
-
-    type_must_outlive(rcx, origin, ty, parent_region);
-}
-
 fn param_ty_must_outlive<'a, 'tcx>(rcx: &Rcx<'a, 'tcx>,
                                    origin: infer::SubregionOrigin<'tcx>,
                                    region: ty::Region,