about summary refs log tree commit diff
path: root/src/librustc_mir/monomorphize
diff options
context:
space:
mode:
authorscalexm <alexandre@scalexm.fr>2018-10-22 22:38:51 +0200
committerscalexm <alexandre@scalexm.fr>2018-11-03 11:41:51 +0100
commitd0447550dabc1b5fee1bde2a2663ebe15d6bbf2a (patch)
treed0bf02333e6f9dd50ae81b4906417eab6bd655a3 /src/librustc_mir/monomorphize
parent1003b7f85e75e3a726adc34b9c315e98094176d5 (diff)
downloadrust-d0447550dabc1b5fee1bde2a2663ebe15d6bbf2a.tar.gz
rust-d0447550dabc1b5fee1bde2a2663ebe15d6bbf2a.zip
Shift both late bound regions and bound types
Diffstat (limited to 'src/librustc_mir/monomorphize')
-rw-r--r--src/librustc_mir/monomorphize/collector.rs6
1 files changed, 3 insertions, 3 deletions
diff --git a/src/librustc_mir/monomorphize/collector.rs b/src/librustc_mir/monomorphize/collector.rs
index 8c696669132..6b39060d6fc 100644
--- a/src/librustc_mir/monomorphize/collector.rs
+++ b/src/librustc_mir/monomorphize/collector.rs
@@ -905,12 +905,12 @@ fn create_mono_items_for_vtable_methods<'a, 'tcx>(tcx: TyCtxt<'a, 'tcx, 'tcx>,
                                                   trait_ty: Ty<'tcx>,
                                                   impl_ty: Ty<'tcx>,
                                                   output: &mut Vec<MonoItem<'tcx>>) {
-    assert!(!trait_ty.needs_subst() && !trait_ty.has_escaping_regions() &&
-            !impl_ty.needs_subst() && !impl_ty.has_escaping_regions());
+    assert!(!trait_ty.needs_subst() && !trait_ty.has_escaping_bound_vars() &&
+            !impl_ty.needs_subst() && !impl_ty.has_escaping_bound_vars());
 
     if let ty::Dynamic(ref trait_ty, ..) = trait_ty.sty {
         let poly_trait_ref = trait_ty.principal().with_self_ty(tcx, impl_ty);
-        assert!(!poly_trait_ref.has_escaping_regions());
+        assert!(!poly_trait_ref.has_escaping_bound_vars());
 
         // Walk all methods of the trait, including those of its supertraits
         let methods = tcx.vtable_methods(poly_trait_ref);