syntax_data: {"ast_node_type":"other","tokens":[{"end":22,"kind":"keyword","start":0,"text":"//"}]}
source_snippet:         // that order.
context_before:         // `$1: Copy`, so we must ensure the obligations are emitted in
context_after:         let predicates = tcx.predicates_of(def_id);