[Bug c++/56272] Poor diagnostics for error: specialization of ... after instantiation

[egallager at gcc dot gnu.org]

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

Eric Gallager  changed:

   What|Removed |Added

 CC||dmalcolm at gcc dot gnu.org,
   ||dodji at gcc dot gnu.org

--- Comment #2 from Eric Gallager  ---
cc-ing diagnostics maintainers

[Bug c++/56272] Poor diagnostics for error: specialization of ... after instantiation

[egallager at gcc dot gnu.org]

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

Eric Gallager  changed:

   What|Removed |Added

   Keywords||diagnostic
 Status|UNCONFIRMED |NEW
   Last reconfirmed||2017-08-21
 CC||egallager at gcc dot gnu.org
 Ever confirmed|0   |1

--- Comment #1 from Eric Gallager  ---
With a caret, that is:

$ /usr/local/bin/g++ -c -Wall -Wextra -pedantic 56272.cc
56272.cc:11:40: error: specialization of ‘void A::Invert() [with T =
double]’ after instantiation
 template <> void A < double >::Invert ();
^
56272.cc: In instantiation of ‘void A::Invert() [with T = double]’:
56272.cc:9:16:   required from here
56272.cc:5:16: warning: unused variable ‘a’ [-Wunused-variable]
A < double >a;
^
$

Confirmed that it could use an extra note.