[−][src]Trait chalk_solve::rust_ir::Anonymize
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.