syntax_data: {"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"debug_assert_eq!(term,"}]}
source_snippet:     debug_assert_eq!(term, infcx.resolve_vars_if_possible(term));
context_before: ) -> Option<PredicateObligations<'tcx>> {