X10

The type checker needs to set the AST appropriately in the presence of compilation error