{"ast_node_type":"variable","tokens":[{"end":96,"kind":"keyword","start":0,"text":"if"}]}
                    if let (ty::Param(_), ty::PredicateKind::Clause(ty::ClauseKind::Trait(p))) =
                    // We don't care about regions here, so it's fine to skip the binder here.
                        (self_ty.kind(), parent_pred.kind().skip_binder())