[Bug c++/89212] [8/9 Regression] ICE in fold_convert_loc at fold-const.c:2552

[mpolacek at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89212

--- Comment #3 from Marek Polacek <mpolacek at gcc dot gnu.org> ---
Test without <type_traits>:

template <int, typename T> using enable_if_t = int;

template<class X, void(X::*foo)() = nullptr>
struct p
{
    template<void(X::*fun)() = foo, typename T = enable_if_t<nullptr == fun,
int>>
    p(T) { }
    p() = default;
};

struct A
{
    p<A> i = 1;
    void bar();
    p<A, &A::bar> j;
};