https://gcc.gnu.org/bugzilla/show_bug.cgi?id=105067
--- Comment #6 from Patrick Palka <ppalka at gcc dot gnu.org> --- (In reply to 康桓瑋 from comment #5) > It still seems to be ICE. > https://godbolt.org/z/YjazY4ajv I only see ordinary errors, no ICEs: <source>:3:9: error: concept 'C' has multiple template parameter lists 3 | concept C = requires { typename T::type; }; | ^ <source>:5:11: error: 'C' has not been declared 5 | template <C> class S {}; | ^ <source>:7:7: error: type/value mismatch at argument 1 in template parameter list for 'template<<typeprefixerror><anonymous> > class S' 7 | S<void> s; | ^ <source>:7:7: note: expected a constant of type '<type error>', got 'void'
