syntax_data: {"ast_node_type":"other","tokens":[{"end":5,"kind":"keyword","start":0,"text":"{"}]}
source_snippet:     {
context_before:         I: IntoIterator<Item = PredicateObligation<'tcx>> + std::fmt::Debug,
context_after:         let mut result = EvaluatedToOk;