Skip to main content

Module fulfill

rustc_trait_selection::solve

Module fulfill 

Source

Re-exports§

use std::marker::PhantomData; 🔒
use std::mem; 🔒
use rustc_infer::infer::InferCtxt; 🔒
use rustc_infer::traits::query::NoSolution; 🔒
use rustc_infer::traits::FromSolverError; 🔒
use rustc_infer::traits::PredicateObligation; 🔒
use rustc_infer::traits::PredicateObligations; 🔒
use rustc_infer::traits::TraitEngine; 🔒
use rustc_infer::traits::TraitErrors; 🔒
use rustc_middle::ty; 🔒
use rustc_middle::ty::TyCtxt; 🔒
use rustc_middle::ty::TypeVisitableExt; 🔒
use rustc_middle::ty::TypingMode; 🔒
use rustc_next_trait_solver::solve::fast_path::compute_goal_fast_path; 🔒
use rustc_next_trait_solver::solve::GoalEvaluation; 🔒
use rustc_next_trait_solver::solve::GoalStalledOn; 🔒
use rustc_next_trait_solver::solve::HasChanged; 🔒
use rustc_next_trait_solver::solve::SolverDelegateEvalExt as _; 🔒
use rustc_next_trait_solver::solve::StalledOnCoroutines; 🔒
use thin_vec::ThinVec; 🔒
use tracing::instrument; 🔒
use tracing::instrument; 🔒
use super::Certainty; 🔒
use super::delegate::SolverDelegate; 🔒
use crate::error_reporting::InferCtxtErrorExt; 🔒
use crate::traits::FulfillmentError; 🔒
use crate::traits::ScrubbedTraitError; 🔒
use self::derive_errors::*; 🔒

Modules§

derive_errors 🔒
size_asserts 🔒

Structs§

FulfillmentCtxt
A trait engine using the new trait solver.
ObligationStorage 🔒

Enums§

NextSolverError

Functions§

collect_remaining_errors_impl 🔒

Type Aliases§

PendingObligations 🔒