https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112633
Andrew Pinski <pinskia at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Keywords| |ice-on-valid-code Version|13.0 |13.1.0 Summary|ICE in parser GCC 13+ |[13/14 Regression] ICE with |(including 14) around type |type aliases and depedent |aliases |value Target Milestone|--- |13.3 --- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> --- Confirmed, note this is not related to variadic templates as this crashes in a similar way: ``` template <class> constexpr bool dependent_true = true; template <bool> struct empty_type { }; // something like enable_if template <bool B> using empty_type_t = typename empty_type<B>::type; struct wrapper { using type = void; }; template <class> using all = wrapper; template <class Conditions> using constraints = typename all<Conditions>::type; template <typename T, constraints<empty_type_t<dependent_true<T>>> = nullptr> void calculate() { }; ```