Declaration Engine and Collection Context Demo Declaration Engine Only This feature will allow the compiler to refer to declarations abstractly, over abstract types. Declaration Engine and Collection Context (TODO) This feature will allow the compiler to reason about AST nodes in more relaxed ordering. Notes: Rust type collection Rust demand-driven compilation