Trait chalk_ir::cast::CastTo

pub trait CastTo<T: HasInterner>: Sized {
    fn cast_to(self, interner: &T::Interner) -> T;
}

The “helper” trait for cast that actually implements the transformations. You can also use this if you want to have functions that take (e.g.) an impl CastTo<Goal<_>> or something like that.

Required methods

fn cast_to(self, interner: &T::Interner) -> T

Cast a value to type T.

Implementations on Foreign Types

impl<T, U> CastTo<Option<U>> for Option<T> where
    T: CastTo<U>,
    U: HasInterner, 

fn cast_to(self, interner: &U::Interner) -> Option<U>

impl<T, U, E> CastTo<Result<U, E>> for Result<T, E> where
    T: CastTo<U>,
    U: HasInterner, 

fn cast_to(self, interner: &U::Interner) -> Result<U, E>

impl<T, U> CastTo<Vec<U, Global>> for Vec<T> where
    T: CastTo<U> + HasInterner,
    U: HasInterner, 

fn cast_to(self, interner: &U::Interner) -> Vec<U>

impl<T> CastTo<T> for &T where
    T: Clone + HasInterner, 

fn cast_to(self, _interner: &T::Interner) -> T

Implementors

impl<I, T> CastTo<ProgramClause<I>> for Binders<T> where
    I: Interner,
    T: HasInterner<Interner = I> + CastTo<DomainGoal<I>>, 

impl<I: Interner> CastTo<Constraint<I>> for Constraint<I>

impl<I: Interner> CastTo<DomainGoal<I>> for DomainGoal<I>

impl<I: Interner> CastTo<DomainGoal<I>> for FromEnv<I>

impl<I: Interner> CastTo<DomainGoal<I>> for WellFormed<I>

impl<I: Interner> CastTo<DomainGoal<I>> for Normalize<I>

impl<I: Interner> CastTo<LifetimeData<I>> for LifetimeData<I>

impl<I: Interner> CastTo<TyKind<I>> for AliasTy<I>

impl<I: Interner> CastTo<TyKind<I>> for TyKind<I>

impl<I: Interner> CastTo<VariableKind<I>> for VariableKind<I>

impl<I: Interner> CastTo<WhereClause<I>> for WhereClause<I>

impl<I: Interner> CastTo<WhereClause<I>> for AliasEq<I>

impl<I: Interner> CastTo<WhereClause<I>> for LifetimeOutlives<I>

impl<I: Interner> CastTo<WhereClause<I>> for TraitRef<I>

impl<I: Interner> CastTo<WhereClause<I>> for TypeOutlives<I>

impl<I: Interner> CastTo<Binders<WhereClause<I>>> for QuantifiedWhereClause<I>

impl<I: Interner> CastTo<CanonicalVarKinds<I>> for CanonicalVarKinds<I>

impl<I: Interner> CastTo<ConstData<I>> for ConstData<I>

impl<I: Interner> CastTo<GenericArg<I>> for Const<I>

impl<I: Interner> CastTo<GenericArg<I>> for GenericArg<I>

impl<I: Interner> CastTo<GenericArg<I>> for Lifetime<I>

impl<I: Interner> CastTo<GenericArg<I>> for Ty<I>

impl<I: Interner> CastTo<Goal<I>> for EqGoal<I>

impl<I: Interner> CastTo<Goal<I>> for Goal<I>

impl<I: Interner> CastTo<Goal<I>> for SubtypeGoal<I>

impl<I: Interner> CastTo<ProgramClause<I>> for ProgramClause<I>

impl<I: Interner> CastTo<TraitRef<I>> for TraitRef<I>

impl<I: Interner> CastTo<VariableKinds<I>> for VariableKinds<I>

impl<I: Interner> CastTo<WithKind<I, UniverseIndex>> for CanonicalVarKind<I>

impl<I: Interner, T: HasInterner<Interner = I> + CastTo<Goal<I>>> CastTo<Goal<I>> for Binders<T>

impl<T, I> CastTo<DomainGoal<I>> for T where
    T: CastTo<WhereClause<I>>,
    I: Interner, 

impl<T, I> CastTo<ProgramClause<I>> for T where
    T: CastTo<DomainGoal<I>>,
    I: Interner, 

impl<T, I: Interner> CastTo<Goal<I>> for T where
    T: CastTo<DomainGoal<I>>, 

impl<T, U> CastTo<Canonical<U>> for Canonical<T> where
    T: CastTo<U> + HasInterner,
    U: HasInterner<Interner = T::Interner>, 

impl<T, U, I> CastTo<InEnvironment<U>> for InEnvironment<T> where
    T: HasInterner<Interner = I> + CastTo<U>,
    U: HasInterner<Interner = I>,
    I: Interner,