syntax_data: {"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":")"}]}
source_snippet:     ) -> SelectionResult<'tcx, Selection<'tcx>> {
context_before:         obligation: &TraitObligation<'tcx>,
context_after:         if self.infcx.next_trait_solver() {