Trait chalk_ir::Substitute
source · [−]pub trait Substitute<I: Interner>: AsParameters<I> {
fn apply<T: TypeFoldable<I>>(&self, value: T, interner: I) -> T;
}Expand description
An extension trait to anything that can be represented as list of GenericArgs that signifies
that it can applied as a substituion to a value
Required Methods
fn apply<T: TypeFoldable<I>>(&self, value: T, interner: I) -> T
fn apply<T: TypeFoldable<I>>(&self, value: T, interner: I) -> T
Apply the substitution to a value.