syntax_data: {"ast_node_type":"other","tokens":[{"end":68,"kind":"keyword","start":0,"text":"[witness]"}]}
source_snippet:         [witness] => format!("`{}`", cx.print_witness_pat(witness)),
context_before:         [] => bug!(),
context_after:         [head @ .., tail] if head.len() < LIMIT => {