renamed query

This commit is contained in:
Marco Concetto Rudilosso 2017-10-21 22:25:00 +01:00
parent a3667d3209
commit 5c51bf5297
4 changed files with 4 additions and 4 deletions

View File

@ -129,7 +129,7 @@ impl<'a, 'gcx> TypeFolder<'gcx, 'gcx> for AssociatedTypeNormalizer<'a, 'gcx> {
ty
} else {
debug!("AssociatedTypeNormalizer: ty={:?}", ty);
self.tcx.normalize_ty(ty)
self.tcx.fully_normalize_monormophic_ty(ty)
}
}
}

View File

@ -2318,7 +2318,7 @@ pub fn provide(providers: &mut ty::maps::Providers) {
assert_eq!(cnum, LOCAL_CRATE);
tcx.sess.features.borrow().clone_closures
};
providers.normalize_ty = |tcx, ty| {
providers.fully_normalize_monormophic_ty = |tcx, ty| {
tcx.fully_normalize_associated_types_in(&ty)
};
}

View File

@ -533,7 +533,7 @@ impl<'tcx> QueryDescription for queries::has_copy_closures<'tcx> {
}
}
impl<'tcx> QueryDescription for queries::normalize_ty<'tcx> {
impl<'tcx> QueryDescription for queries::fully_normalize_monormophic_ty<'tcx> {
fn describe(_tcx: TyCtxt, _: Ty) -> String {
format!("normalizing types")
}

View File

@ -349,7 +349,7 @@ define_maps! { <'tcx>
// Normally you would just use `tcx.erase_regions(&value)`,
// however, which uses this query as a kind of cache.
[] fn erase_regions_ty: erase_regions_ty(Ty<'tcx>) -> Ty<'tcx>,
[] fn normalize_ty: normalize_ty_node(Ty<'tcx>) -> Ty<'tcx>,
[] fn fully_normalize_monormophic_ty: normalize_ty_node(Ty<'tcx>) -> Ty<'tcx>,
}
//////////////////////////////////////////////////////////////////////