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