[Bug c++/79092] template: type ignored if value already instantiated

[rivorus at gmail dot com]

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

--- Comment #3 from Matt Calabrese  ---
This bug is fairly nasty and I think should be higher priority. I suspect that
many people who use template auto will encounter it in very subtle ways. I
observed it deep in expression-template code by way of incorrect results and it
took a while to diagnose.

Even if people happen to not directly observe the issue, this bug can very
easily lead to ODR violations if different translation units happen to include
files that instantiate the template, but do so in different orders.

[Bug c++/79092] template: type ignored if value already instantiated

[rivorus at gmail dot com]

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

Matt Calabrese  changed:

   What|Removed |Added

 CC||rivorus at gmail dot com

--- Comment #2 from Matt Calabrese  ---
template struct val {};

struct type : val<0>, val<0u> {};