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>> { ... }
}

Required Methods§

Provided Methods§

Implementations on Foreign Types§

source§

impl LowerParameterMap for AdtDefn

source§

impl LowerParameterMap for AssocTyDefn

source§

impl LowerParameterMap for AssocTyValue

source§

impl LowerParameterMap for Clause

source§

impl LowerParameterMap for ClosureDefn

source§

impl LowerParameterMap for FnDefn

source§

impl LowerParameterMap for Impl

source§

impl LowerParameterMap for TraitDefn

Implementors§