AST Validation
AST validation is the process of checking various correctness properties about the AST after macro expansion.
TODO: write this chapter. #656
AST validation is the process of checking various correctness properties about the AST after macro expansion.
TODO: write this chapter. #656