{"ast_node_type":"variable","tokens":[{"end":73,"kind":"keyword","start":0,"text":"&&"}]}
            && let GenericArgKind::Type(ty) = outlives_predicate.0.kind()
        if let Some(self_ty) = ignored_self_ty
            && ty.walk().any(|arg| arg == self_ty.into())