{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"make_binders(ctx.db,"}]}
            make_binders(ctx.db, filler.generics, result)
            let result = ty.clone().try_fold_with(filler, DebruijnIndex::INNERMOST).unwrap_or(ty);
        }