syntax_data: {"ast_node_type":"other","tokens":[{"end":87,"kind":"keyword","start":0,"text":"panic!(\"We"}]}
source_snippet:             panic!("We do not expect to encounter `Fresh` variables in the new solver")
context_before:         {
context_after:         }