{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"//!"}]}
//! Spans are used for error messages and for tools to map semantics back to
//!
//! source code. It is therefore not as important with spans as IDs to be strict