//! Pure annotation diagnostics and the built-in annotation vocabulary.
//!
//! Generation consumes the vocabulary, never the lint pass. Editors can use
//! `BUILTIN_ANNOTATIONS` for completion and `lint` for source diagnostics.
pub use ;
pub use ;
/// Checks annotations in a parsed typed AST without performing IO or lowering it.