Module specialization_graph 

Re-exports

use rustc_attr_ir::find_attr; 🔒

use rustc_data_structures::fx::FxIndexMap; 🔒

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_hir::def_id::DefIdMap; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::TyDecodable; 🔒

use rustc_macros::TyEncodable; 🔒

use crate::diagnostics::StrictCoherenceNeedsNegativeCoherence; 🔒

use crate::ty::fast_reject::SimplifiedType; 🔒

use crate::ty; 🔒

use crate::ty::TyCtxt; 🔒

use crate::ty::TypeVisitableExt; 🔒

Structs

Ancestors

Children

Children of a given impl, grouped into blanket/non-blanket varieties as is done in TraitDef.

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.

Enums

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.

Functions

ancestors

Walk up the specialization ancestors of a given impl, starting with that impl itself.