Trait chalk_integration::lowering::LowerParameterMap
source · trait LowerParameterMap {
// Required methods
fn synthetic_parameters(&self) -> Option<WithKind<ChalkIr, Ident>>;
fn declared_parameters(&self) -> &[VariableKind];
// Provided method
fn all_parameters(&self) -> Vec<WithKind<ChalkIr, Ident>> { ... }
}