syntax_data: {"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"//!"}]}
source_snippet: //! type error. See the [rustc dev guide] for more details.
context_before: //! with the values found in the obligation, possibly yielding a
context_after: //!