https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80667
--- Comment #3 from Ed Catmur <ed at catmur dot uk> --- Agreed, gcc is OK since 7.2, selecting the latter partial specialization (as with -std=c++14). OK to mark as fixed.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80667
--- Comment #3 from Ed Catmur <ed at catmur dot uk> --- Agreed, gcc is OK since 7.2, selecting the latter partial specialization (as with -std=c++14). OK to mark as fixed.