Module select 

Candidate selection. See the rustc dev guide for more information on how this works.

Re-exports

use rustc_errors::ErrorGuaranteed; 🔒

use rustc_hir::def_id::DefId; 🔒

use rustc_macros::StableHash; 🔒

use rustc_macros::TypeVisitable; 🔒

use rustc_type_ir::solve::AliasBoundKind; 🔒

use super::SelectionError; 🔒

use super::SelectionResult; 🔒

use crate::traits::cache::WithDepNodeCache; 🔒

use crate::ty; 🔒

use self::EvaluationResult::*; 🔒

Enums

EvaluationResult

The result of trait evaluation. The order is important here as the evaluation of a list is the maximum of the evaluations.

OverflowError

Indicates that trait evaluation caused overflow and in which pass.

SelectionCandidate

The selection process begins by considering all impls, where clauses, and so forth that might resolve an obligation. Sometimes we’ll be able to say definitively that (e.g.) an impl does not apply to the obligation: perhaps it is defined for usize but the obligation is for i32. In that case, we drop the impl out of the list. But the other cases are considered candidates.

Type Aliases

EvaluationCache

SelectionCache