Skip to main content Module specialization_graph Copy item path Source use rustc_errors::ErrorGuaranteed ; 🔒 use rustc_hir::def_id::DefId ; 🔒 use rustc_macros::extension ; 🔒 use rustc_middle::ty::fast_reject ; 🔒 use rustc_middle::ty::fast_reject::SimplifiedType ; 🔒 use rustc_middle::ty::fast_reject::TreatParams ; 🔒 use rustc_middle::ty ; 🔒 use rustc_middle::ty::TyCtxt ; 🔒 use rustc_middle::ty::TypeVisitableExt ; 🔒 use rustc_span::bug ; 🔒 use tracing::debug ; 🔒 use tracing::instrument ; 🔒 use tracing::instrument ; 🔒 use super::OverlapError ; 🔒 use crate::traits ; 🔒 Ancestors Children Children of a given impl, grouped into blanket/non-blanket varieties as is
done in TraitDef. FutureCompatOverlapError Graph A per-trait graph of impls in specialization order. At the moment, this
graph forms a tree rooted with the trait itself, with all other nodes
representing impls, and parent-child relationships representing
specializations. LeafDef Information about the most specialized definition of an associated item. FutureCompatOverlapErrorKind Inserted 🔒 The result of attempting to insert an impl into a group of children. Node A node in the specialization graph is either an impl or a trait
definition; either can serve as a source of item definitions.
There is always exactly one trait definition node: the root. OverlapMode What kind of overlap check are we doing – this exists just for testing and feature-gating
purposes. PotentialSiblings 🔒 ChildrenExt 🔒 GraphExt ancestors Walk up the specialization ancestors of a given impl, starting with that
impl itself. assoc_def 🔒 Locate the definition of an associated type in the specialization hierarchy,
starting from the given impl. filtered_children 🔒 iter_children 🔒