Function make_tuple 

pub(super) fn make_tuple<'a, 'lt, 'db, DB: HirDatabase>(
    ctx: &'a TermSearchCtx<'db, DB>,
    _defs: &'a FxHashSet<ScopeDef>,
    lookup: &'lt mut LookupTable<'db>,
    should_continue: &'a dyn Fn() -> bool,
) -> impl Iterator<Item = Expr<'db>> + use<'a, 'db, 'lt, DB>

Make tuple tactic

Attempts to create tuple types if any are listed in types wishlist

Updates lookup by new types reached and returns iterator that yields elements that unify with goal.

Arguments

• ctx - Context for the term search
• defs - Set of items in scope at term search target location
• lookup - Lookup table for types
• should_continue - Function that indicates when to stop iterating