Trait chalk_solve::rust_ir::Anonymize

pub trait Anonymize<I: Interner> {
    // Required method
    fn anonymize(&self) -> Vec<VariableKind<I>>;
}

Required Methods

fn anonymize(&self) -> Vec<VariableKind<I>>

Utility function that converts from a list of generic arguments which have associated data (WithKind<I, T>) to a list of “anonymous” generic parameters that just preserves their kinds (VariableKind<I>). Often convenient in lowering.

Implementations on Foreign Types

impl<I: Interner, T> Anonymize<I> for [WithKind<I, T>]

fn anonymize(&self) -> Vec<VariableKind<I>>

Implementors