[Bug c++/64455] A constexpr variable template can't be used with enable_if

2015-01-06 Thread jason at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64455 Jason Merrill changed: What|Removed |Added Status|UNCONFIRMED |RESOLVED CC|

[Bug c++/64455] A constexpr variable template can't be used with enable_if

2015-01-06 Thread jason at gcc dot gnu.org
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64455 --- Comment #3 from Jason Merrill --- Author: jason Date: Tue Jan 6 20:44:51 2015 New Revision: 219268 URL: https://gcc.gnu.org/viewcvs?rev=219268&root=gcc&view=rev Log: PR c++/64455 * pt.c (type_dependent_expression_p): Handle variable

[Bug c++/64455] A constexpr variable template can't be used with enable_if

2015-01-02 Thread ville.voutilainen at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64455 --- Comment #2 from Ville Voutilainen --- Reduced to avoid using type_traits: template constexpr bool IsType = true; template struct Test { }; template struct Test { typedef T type; }; template struct X { typedef typename Test,T

[Bug c++/64455] A constexpr variable template can't be used with enable_if

2015-01-01 Thread ville.voutilainen at gmail dot com
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64455 --- Comment #1 from Ville Voutilainen --- Btw, this problem prevents using the C++14 trait aliases with the forthcoming trait variable templates as they were intended, because template enable_if_t> f() {} is also erroneously rejected with the