syntax_data: {"ast_node_type":"other","tokens":[{"end":53,"kind":"keyword","start":0,"text":"self.map.borrow().get(&fresh_trait_pred),"}]}
source_snippet:             self.map.borrow().get(&fresh_trait_pred),
context_before:             "get_provisional = {:#?}",
context_after:         );