[estebank]

The same information that is useful for compilers (like rustc) and linters to reason about code, is also useful for humans to reason about code.