@Override
  public Type check() throws SemanticErrorException {

    return expression.check();
  }