[Bug c++/90971] Suboptimal diagnostic for is_same_v requirement for std::array

2019-06-24 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90971 --- Comment #3 from Jonathan Wakely --- (This time with better formatting) For the first error GCC currently shows: > enab.cc:7:6: note: template argument deduction/substitution failed: > enab.cc:6:22: error: no type named 'type' in 'struct s

[Bug c++/90971] Suboptimal diagnostic for is_same_v requirement for std::array

2019-06-24 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90971 --- Comment #2 from Jonathan Wakely --- #include template struct is_foo : std::false_type { }; template constexpr bool is_foo_v = is_foo::value; template::value>::type> void bar1(T) { } template::value>> void bar2(T) { } template>> void bar3

[Bug c++/90971] Suboptimal diagnostic for is_same_v requirement for std::array

2019-06-24 Thread redi at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90971 Jonathan Wakely changed: What|Removed |Added Keywords||diagnostic Status|UNCONFIR