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);
}
