Class TcbBlockImplicitVariableOp

packages/compiler/src/typecheck/ops/variables.ts:21–41

 * Executing this operation returns the identifier which can be used to refer to the variable.
 */
export class TcbBlockImplicitVariableOp extends TcbOp {
  constructor(
    private tcb: Context,
    private scope: Scope,
    private type: TcbExpr,
    private variable: Variable,
  ) {
    super();
  }

  override readonly optional = true;

  override execute(): TcbExpr {
    const id = new TcbExpr(this.tcb.allocateId());
    id.addParseSpanInfo(this.variable.keySpan);
    const variable = declareVariable(id, this.type);
    variable.addParseSpanInfo(this.variable.sourceSpan);
    this.scope.addStatement(variable);
    return id;
  }
}

/**
 * A `TcbOp` which creates an expression for particular let- `Variable` on a