Method optimize

basex-core/src/main/java/org/basex/query/expr/gflwor/Let.java:65–89

(final CompileContext cc)

  }

  @Override
  public Let optimize(final CompileContext cc) throws QueryException {
    // skip redundant type check
    if(!scoring && expr instanceof TypeCheck) {
      if(var.declType != null && var.declType.instanceOf(expr.seqType()) ||
          var.adoptCheck(expr.seqType())) {
        cc.info(OPTTYPE_X, this);
        expr = ((TypeCheck) expr).expr;
      }
    }
    // coerce at compile time
    if(expr instanceof final Value value) {
      expr = var.checkType(value, cc.qc, cc);
    }

    // assign type to clause and variable
    if(scoring) {
      var.expr(Dbl.ZERO);
    } else {
      adoptType(expr);
      var.expr(expr);
    }
    var.refineType(seqType(), size(), cc);
    return this;
  }

  @Override
  public Let copy(final CompileContext cc, final IntObjectMap<Var> vm) {