Skip to main content

Module evaluate_obligation

Module evaluate_obligation 

Source

Re-exportsยง

use rustc_infer::infer::TyCtxtInferExt; ๐Ÿ”’
use rustc_middle::query::Providers; ๐Ÿ”’
use rustc_middle::ty::ParamEnvAnd; ๐Ÿ”’
use rustc_middle::ty::TyCtxt; ๐Ÿ”’
use rustc_span::DUMMY_SP; ๐Ÿ”’
use rustc_trait_selection::traits::query::CanonicalPredicateGoal; ๐Ÿ”’
use rustc_trait_selection::traits::EvaluationResult; ๐Ÿ”’
use rustc_trait_selection::traits::Obligation; ๐Ÿ”’
use rustc_trait_selection::traits::ObligationCause; ๐Ÿ”’
use rustc_trait_selection::traits::OverflowError; ๐Ÿ”’
use rustc_trait_selection::traits::SelectionContext; ๐Ÿ”’
use rustc_trait_selection::traits::TraitQueryMode; ๐Ÿ”’
use rustc_trait_selection::traits::implicit_fast_path; ๐Ÿ”’
use tracing::debug; ๐Ÿ”’

Functionsยง

evaluate_obligation ๐Ÿ”’
provide ๐Ÿ”’