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