Function replaceGeneratorLet

src/ast/ast_generate.cpp:1169–1228

    }

    ExpressionPtr replaceGeneratorLet ( ExprLet * expr, const FunctionPtr & func, ExprBlock * scope ) {
        auto blk = new ExprBlock();
        blk->at = expr->at;
        blk->isCollapseable = true;
        auto capture = func->arguments[0]->type->structType;
        DAS_ASSERT(capture && "generator first argument is lambda capture");
        for ( auto & var : expr->variables ) {
            auto vtd = new TypeDecl(*var->type);
            bool isRef = vtd->ref;
            if ( isRef ) {
                auto pvtd = new TypeDecl(Type::tPointer);
                pvtd->firstType = vtd;
                vtd->ref = false;
                vtd = pvtd;
                replaceRef2Ptr(scope, var->name);
            } else {
                vtd->constant = false;
            }
            // the reason we insert after __lambda and __finalize is so that when we have iterators, we delete them before we delete captured variables
            capture->fields.emplace_back(
                var->name,
                vtd,
                nullptr,
                AnnotationArgumentList(),
                false,
                expr->at);
            auto & fldb = capture->fields.back();
            if ( isRef || var->do_not_delete ) {
                fldb.doNotDelete = true;
            }
            fldb.capturedConstant = var->type->constant;
            auto cvar = new ExprVar(var->at, func->arguments[0]->name);
            auto lvar = new ExprField(var->at, cvar, var->name);
            lvar->ignoreCaptureConst = true;
            if ( var->init ) {
                auto rini = var->init->clone();
                if ( isRef ) {
                    auto arini = new ExprRef2Ptr(expr->at, rini);
                    arini->alwaysSafe = true;
                    rini = arini;
                }
                if ( var->init_via_clone ) {
                    auto cln = new ExprClone(var->at, lvar, rini);
                    blk->list.push_back(cln);
                } else if ( var->init_via_move ) {
                    auto mve = new ExprMove(var->at, lvar, rini);
                    blk->list.push_back(mve);
                } else {
                    auto cpy = new ExprCopy(var->at, lvar, rini);
                    blk->list.push_back(cpy);
                }
            } else {
                auto mz = new ExprMemZero(var->at, "memzero");
                mz->arguments.push_back(lvar);
                blk->list.push_back(mz);
            }
        }
        verifyGenerated(blk);