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