https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90101
Benjamin Buch <benni.buch at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |benni.buch at gmail dot com --- Comment #1 from Benjamin Buch <benni.buch at gmail dot com> --- simplified test case: template<int N> struct A{}; template<int N, A<N>> struct B {}; $ g++ -std=c++2a test.cpp test.cpp:4:17: error: invalid use of incomplete type 'struct A<N>' 4 | template<int N, A<N>> | ^~~ test.cpp:2:8: note: declaration of 'struct A<N>' 2 | struct A{}; | ^ $ g++ --version g++ (Compiler-Explorer-Build) 9.0.1 20190422 (experimental) Copyright (C) 2019 Free Software Foundation, Inc. This is free software; see the source for copying conditions. There is NO warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. https://godbolt.org/z/kdDPaO