syntax_data: {"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"inform,"}]}
source_snippet:             inform,
context_before:             uncovered: Uncovered::new(pat.span, &cx, witnesses),
context_after:             interpreted_as_const,