{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"&&"}]}
            && self.predicate_must_hold_modulo_regions(&traits::Obligation::new(
        if let Some(into_def_id) = self.tcx.get_diagnostic_item(sym::Into)
                self.tcx,