https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79960
--- Comment #4 from Jason Merrill ---
Author: jason
Date: Fri Mar 10 17:35:54 2017
New Revision: 246042
URL: https://gcc.gnu.org/viewcvs?rev=246042=gcc=rev
Log:
PR c++/79960 - alias templates and partial ordering
* pt.c
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79960
Richard Biener changed:
What|Removed |Added
Priority|P3 |P2
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79960
--- Comment #3 from Jason Merrill ---
This is a problem with deducing through what I'm calling "non-transparent"
aliases in partial ordering. When partial ordering compares, say, const and
const volatile, we deduce "volatile __has_tuple_size"
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79960
Jason Merrill changed:
What|Removed |Added
Status|UNCONFIRMED |ASSIGNED
Last reconfirmed|
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79960
Jakub Jelinek changed:
What|Removed |Added
CC||jakub at gcc dot gnu.org,
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79960
--- Comment #1 from Jonathan Wakely ---
It's possible this isn't a bug, and the partial specializations need to be
constrained to avoid the ambiguity (although both Clang trunk and EDG accept
the unconstrained cases, but Clang 3.x fails
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79960
Richard Biener changed:
What|Removed |Added
Target Milestone|--- |5.5