Trait chalk_rust_ir::Anonymize

pub trait Anonymize {
    fn anonymize(&self) -> Vec<ParameterKind<()>>;
}

Required methods

fn anonymize(&self) -> Vec<ParameterKind<()>>

Utility function that converts from a list of generic parameters which have names (ParameterKind<T>) to a list of "anonymous" generic parameters that just preserves their kinds (ParameterKind<()>). Often convenient in lowering.

Loading content...

Implementations on Foreign Types

impl<T> Anonymize for [ParameterKind<T>]

fn anonymize(&self) -> Vec<ParameterKind<()>>

Loading content...

Implementors

Loading content...