syntax_data: {"ast_node_type":"other","tokens":[{"end":41,"kind":"keyword","start":0,"text":")"}]}
source_snippet: ) -> Option<PredicateObligations<'tcx>> {
context_before:     span: Span,
context_after:     // Handle the "cycle" case (see comment above) by bailing out if necessary.