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