[Bug c++/81043] [concepts] partially specializing on differing constraints gives cryptic error

[redi at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=81043

Jonathan Wakely <redi at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2019-08-12 00:00:00         |2019-10-15

--- Comment #1 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Trunk now says:

81043.cc:5:24: error: 'A<T>' does not match original declaration
    5 | template <C1 T> struct A<T>;
      |                        ^~~~
81043.cc:3:30: note: original template declaration here
    3 | template <typename T> struct A;
      |                              ^

That's not much better.