{"ast_node_type":"other","tokens":[{"end":35,"kind":"keyword","start":0,"text":"//"}]}
        // Check elaborated bounds.
        let predicates_with_span = tcx.predicates_of(self.body_def_id).predicates.iter().copied();
        let implied_obligations = traits::elaborate(tcx, predicates_with_span);