[Bug c++/98570] [8/9/10/11 Regression] ICE: canonical types differ for identical types

[ppalka at gcc dot gnu.org]

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

Patrick Palka <ppalka at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ppalka at gcc dot gnu.org

--- Comment #4 from Patrick Palka <ppalka at gcc dot gnu.org> ---
FWIW, here's a slightly more reduced ICE-on-valid testcase:

template <bool> struct h {};
struct b { static constexpr int c = true; };
template <class...> using i = b;
template <class... Ts> h<i<Ts...>::c> m();

template <class> using k = bool;
template <class... Ts> h<i<k<Ts>...>::c> m();

Bisection to r7-7375 as the commit that introduced the ICE for this particular
testcase.