nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2024-12-21 13:05:14 +00:00
Code Issues Packages Projects Releases Wiki Activity

add a new dep node for outlives

Browse Source
This commit is contained in:
toidiu 2017-10-10 22:54:59 -04:00
parent fe5cb1a517
commit ce754ba476
3 changed files with 3 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/librustc/dep_graph/dep_node.rs
View File

@ -476,6 +476,7 @@ define_dep_nodes!( <'tcx>
[] TypeOfItem(DefId), [] TypeOfItem(DefId),
[] GenericsOfItem(DefId), [] GenericsOfItem(DefId),
[] PredicatesOfItem(DefId), [] PredicatesOfItem(DefId),
[] InferredOutlivesOf(DefId),
[] SuperPredicatesOfItem(DefId), [] SuperPredicatesOfItem(DefId),
[] TraitDefOfItem(DefId), [] TraitDefOfItem(DefId),
[] AdtDefOfItem(DefId), [] AdtDefOfItem(DefId),

2
src/librustc/ty/maps/mod.rs
View File

@ -122,7 +122,7 @@ define_maps! { <'tcx>
[] fn variances_of: ItemVariances(DefId) -> Rc<Vec<ty::Variance>>, [] fn variances_of: ItemVariances(DefId) -> Rc<Vec<ty::Variance>>,
/// Maps from def-id of a type to its (inferred) outlives. /// Maps from def-id of a type to its (inferred) outlives.
[] fn inferred_outlives_of: PredicatesOfItem(DefId) -> Vec<ty::Predicate<'tcx>>, [] fn inferred_outlives_of: InferredOutlivesOf(DefId) -> Vec<ty::Predicate<'tcx>>,
/// Maps from an impl/trait def-id to a list of the def-ids of its items /// Maps from an impl/trait def-id to a list of the def-ids of its items
[] fn associated_item_def_ids: AssociatedItemDefIds(DefId) -> Rc<Vec<DefId>>, [] fn associated_item_def_ids: AssociatedItemDefIds(DefId) -> Rc<Vec<DefId>>,

1
src/librustc/ty/maps/plumbing.rs
View File

@ -736,6 +736,7 @@ pub fn force_from_dep_node<'a, 'gcx, 'lcx>(tcx: TyCtxt<'a, 'gcx, 'lcx>,
DepKind::TypeOfItem => { force!(type_of, def_id!()); } DepKind::TypeOfItem => { force!(type_of, def_id!()); }
DepKind::GenericsOfItem => { force!(generics_of, def_id!()); } DepKind::GenericsOfItem => { force!(generics_of, def_id!()); }
DepKind::PredicatesOfItem => { force!(predicates_of, def_id!()); } DepKind::PredicatesOfItem => { force!(predicates_of, def_id!()); }
DepKind::InferredOutlivesOf => { force!(outlives_of, def_id!()); }
DepKind::SuperPredicatesOfItem => { force!(super_predicates_of, def_id!()); } DepKind::SuperPredicatesOfItem => { force!(super_predicates_of, def_id!()); }
DepKind::TraitDefOfItem => { force!(trait_def, def_id!()); } DepKind::TraitDefOfItem => { force!(trait_def, def_id!()); }
DepKind::AdtDefOfItem => { force!(adt_def, def_id!()); } DepKind::AdtDefOfItem => { force!(adt_def, def_id!()); }