syntax_data: {"ast_node_type":"other","tokens":[{"end":3,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //!
context_before: //!   - [`Coverage`] statements of kind [`BlockMarker`] or [`SpanMarker`]
context_after: //! [`AscribeUserType`]: rustc_middle::mir::StatementKind::AscribeUserType