Trait chalk_ir::Substitute

pub trait Substitute<I: Interner>: AsParameters<I> {
    // Required method
    fn apply<T: TypeFoldable<I>>(&self, value: T, interner: I) -> T;
}

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

Apply the substitution to a value.

Object Safety

This trait is not object safe.

Implementors

impl<I: Interner, A: AsParameters<I>> Substitute<I> for A