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