PR c++/85765 - SFINAE and non-type default template arg.
[official-gcc.git] / gcc / testsuite / g++.dg / cpp0x / variadic-crash4.C
blob2974fe933e157b00c1696db4e5020107d5f10f3a
1 // PR c++/68884
2 // { dg-do compile { target c++11 } }
4 namespace std {
5   template <typename _Tp, _Tp __v> struct A { static constexpr _Tp value = __v; };
6 typedef A<bool, true> true_type;
8 template <int> struct VsA;
9 template <class ValueType> struct ValueTemplate {
10   template <template <ValueType> class, class> struct IsInstanceOf;
11   template <template <ValueType> class TemplateA, ValueType... TypesA>
12   struct IsInstanceOf<TemplateA, TemplateA<TypesA...>> : std::true_type {};
14 bool foo = ValueTemplate<int>::IsInstanceOf<VsA, VsA<0>>::value;