src/ast-validation.md

# AST Validation

AST validation is the process of checking various correctness properties about
the AST after macro expansion.

**TODO**: write this chapter. [#656](https://github.com/rust-lang/rustc-dev-guide/issues/656)