diff options
| author | scalexm <alexandre@scalexm.fr> | 2018-10-22 22:38:51 +0200 |
|---|---|---|
| committer | scalexm <alexandre@scalexm.fr> | 2018-11-03 11:41:51 +0100 |
| commit | d0447550dabc1b5fee1bde2a2663ebe15d6bbf2a (patch) | |
| tree | d0bf02333e6f9dd50ae81b4906417eab6bd655a3 /src/librustc_mir/monomorphize | |
| parent | 1003b7f85e75e3a726adc34b9c315e98094176d5 (diff) | |
| download | rust-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.rs | 6 |
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); |
