Trait ChalkToNextSolver

pub trait ChalkToNextSolver<'db, Out> {
    // Required method
    fn to_nextsolver(&self, interner: DbInterner<'db>) -> Out;
}

Required Methods

fn to_nextsolver(&self, interner: DbInterner<'db>) -> Out

Implementations on Foreign Types

impl<'db> ChalkToNextSolver<'db, GenericArg<'db>> for GenericArg<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> GenericArg<'db>

impl<'db> ChalkToNextSolver<'db, BoundVarKind> for VariableKind<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> BoundVarKind

impl<'db> ChalkToNextSolver<'db, BoundVarKinds> for VariableKinds<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> BoundVarKinds

impl<'db> ChalkToNextSolver<'db, Clause<'db>> for ProgramClause<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> Clause<'db>

impl<'db> ChalkToNextSolver<'db, ParamEnv<'db>> for Environment<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> ParamEnv<'db>

impl<'db> ChalkToNextSolver<'db, Predicate<'db>> for Goal<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> Predicate<'db>

impl<'db> ChalkToNextSolver<'db, Const<'db>> for Const<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> Const<'db>

impl<'db> ChalkToNextSolver<'db, GenericArgs<'db>> for Substitution<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> GenericArgs<'db>

impl<'db> ChalkToNextSolver<'db, Region<'db>> for Lifetime<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> Region<'db>

impl<'db> ChalkToNextSolver<'db, Ty<'db>> for Ty<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> Ty<'db>

impl<'db> ChalkToNextSolver<'db, Tys<'db>> for Substitution<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> Tys<'db>

impl<'db> ChalkToNextSolver<'db, Canonical<DbInterner<'db>, Goal<DbInterner<'db>, Predicate<'db>>>> for Canonical<InEnvironment<Goal<Interner>>>

fn to_nextsolver( &self, interner: DbInterner<'db>, ) -> Canonical<'db, Goal<DbInterner<'db>, Predicate<'db>>>

impl<'db> ChalkToNextSolver<'db, FnSigTys<DbInterner<'db>>> for FnSubst<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> FnSigTys<DbInterner<'db>>

impl<'db> ChalkToNextSolver<'db, InferTy> for (InferenceVar, TyVariableKind)

fn to_nextsolver(&self, interner: DbInterner<'db>) -> InferTy

impl<'db> ChalkToNextSolver<'db, PredicateKind<DbInterner<'db>>> for DomainGoal<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> PredicateKind<'db>

impl<'db> ChalkToNextSolver<'db, PredicateKind<DbInterner<'db>>> for ProgramClauseImplication<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> PredicateKind<'db>

impl<'db> ChalkToNextSolver<'db, PredicateKind<DbInterner<'db>>> for WhereClause<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> PredicateKind<'db>

impl<'db> ChalkToNextSolver<'db, TraitRef<DbInterner<'db>>> for TraitRef<Interner>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> TraitRef<'db>

impl<'db> ChalkToNextSolver<'db, UniverseIndex> for UniverseIndex

fn to_nextsolver(&self, interner: DbInterner<'db>) -> UniverseIndex

impl<'db, U: TypeVisitable<DbInterner<'db>>, T: Clone + ChalkToNextSolver<'db, U> + HasInterner<Interner = Interner>> ChalkToNextSolver<'db, Binder<DbInterner<'db>, U>> for Binders<T>

fn to_nextsolver(&self, interner: DbInterner<'db>) -> Binder<DbInterner<'db>, U>

Implementors

impl<'db> ChalkToNextSolver<'db, DebruijnIndex> for DebruijnIndex

impl<'db> ChalkToNextSolver<'db, Mutability> for Mutability

impl<'db> ChalkToNextSolver<'db, Variance> for Variance