{"ast_node_type":"variable","tokens":[{"end":91,"kind":"keyword","start":0,"text":"&&"}]}
                            && let ty::PredicateKind::Clause(ty::ClauseKind::Trait(pred)) =
                        ) = error.code
                                error.obligation.predicate.kind().skip_binder()