diff --git a/src/librustc/dep_graph/dep_node.rs b/src/librustc/dep_graph/dep_node.rs index 8f45e76f4ad62..5eaa0b42661a8 100644 --- a/src/librustc/dep_graph/dep_node.rs +++ b/src/librustc/dep_graph/dep_node.rs @@ -631,8 +631,9 @@ define_dep_nodes!( <'tcx> [] CodegenUnit(InternedString), [] CompileCodegenUnit(InternedString), [input] OutputFilenames, - [anon] NormalizeTy, - [] NormalizeProjectionTy { ty: &'tcx Canonical>> }, + [] NormalizeProjectionTy(&'tcx Canonical>>), + [] NormalizeTyAfterErasingRegions(ParamEnvAnd<'tcx, Ty<'tcx>>), + [] DropckOutlives(&'tcx Canonical>>), // We use this for most things when incr. comp. is turned off. [] Null, diff --git a/src/librustc/ty/maps/mod.rs b/src/librustc/ty/maps/mod.rs index 663f9f64c9a58..1168851561a8f 100644 --- a/src/librustc/ty/maps/mod.rs +++ b/src/librustc/ty/maps/mod.rs @@ -370,17 +370,17 @@ define_maps! { <'tcx> [] fn erase_regions_ty: erase_regions_ty(Ty<'tcx>) -> Ty<'tcx>, /// Do not call this query directly: invoke `normalize` instead. - [] fn normalize_projection_ty: normalize_projection_ty_node( + [] fn normalize_projection_ty: NormalizeProjectionTy( &'tcx Canonical>> ) -> Result>>>, NoSolution>, /// Do not call this query directly: invoke `normalize_erasing_regions` instead. - [] fn normalize_ty_after_erasing_regions: normalize_ty_node( + [] fn normalize_ty_after_erasing_regions: NormalizeTyAfterErasingRegions( ParamEnvAnd<'tcx, Ty<'tcx>> ) -> Ty<'tcx>, /// Do not call this query directly: invoke `infcx.at().dropck_outlives()` instead. - [] fn dropck_outlives: normalize_ty_node( + [] fn dropck_outlives: DropckOutlives( &'tcx Canonical>> ) -> Result>>>, NoSolution>, @@ -532,16 +532,6 @@ fn vtable_methods_node<'tcx>(trait_ref: ty::PolyTraitRef<'tcx>) -> DepConstructo DepConstructor::VtableMethods{ trait_ref } } -fn normalize_ty_node<'tcx, T>(_: T) -> DepConstructor<'tcx> { - DepConstructor::NormalizeTy -} - -fn normalize_projection_ty_node<'tcx>( - ty: &'tcx Canonical>> -) -> DepConstructor<'tcx> { - DepConstructor::NormalizeProjectionTy { ty } -} - fn substitute_normalize_and_test_predicates_node<'tcx>(key: (DefId, &'tcx Substs<'tcx>)) -> DepConstructor<'tcx> { DepConstructor::SubstituteNormalizeAndTestPredicates { key } diff --git a/src/librustc/ty/maps/plumbing.rs b/src/librustc/ty/maps/plumbing.rs index 3e46c314df497..878ade737455a 100644 --- a/src/librustc/ty/maps/plumbing.rs +++ b/src/librustc/ty/maps/plumbing.rs @@ -772,8 +772,9 @@ pub fn force_from_dep_node<'a, 'gcx, 'lcx>(tcx: TyCtxt<'a, 'gcx, 'lcx>, DepKind::FulfillObligation | DepKind::VtableMethods | DepKind::EraseRegionsTy | - DepKind::NormalizeTy | DepKind::NormalizeProjectionTy | + DepKind::NormalizeTyAfterErasingRegions | + DepKind::DropckOutlives | DepKind::SubstituteNormalizeAndTestPredicates | DepKind::InstanceDefSizeEstimate |