Function assoc_const 

pub(super) fn assoc_const<'a, 'lt, 'db, DB: HirDatabase>(
    ctx: &'a TermSearchCtx<'db, DB>,
    defs: &'a FxHashSet<ScopeDef>,
    lookup: &'lt mut LookupTable<'db>,
) -> impl Iterator<Item = Expr<'db>> + use<'a, 'db, 'lt, DB>

Associated constant tactic

Attempts to fulfill the goal by trying constants defined as associated items. Only considers them on types that are in scope.

Arguments

• ctx - Context for the term search
• defs - Set of items in scope at term search target location
• lookup - Lookup table for types

Returns iterator that yields elements that unify with goal.

Note that there is no use of calling this tactic in every iteration as the output does not depend on the current state of lookup