https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99387
--- Comment #3 from Patrick Palka <ppalka at gcc dot gnu.org> --- Reduced: template <auto> struct A { }; template <class> struct B { }; template<template <class> class Tmpl, Tmpl V> void f (A<V>); int main() { A<B<int>{}> x; f(x); }