blob: 2974fe933e157b00c1696db4e5020107d5f10f3a (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
// PR c++/68884
// { dg-do compile { target c++11 } }
namespace std {
template <typename _Tp, _Tp __v> struct A { static constexpr _Tp value = __v; };
typedef A<bool, true> true_type;
}
template <int> struct VsA;
template <class ValueType> struct ValueTemplate {
template <template <ValueType> class, class> struct IsInstanceOf;
template <template <ValueType> class TemplateA, ValueType... TypesA>
struct IsInstanceOf<TemplateA, TemplateA<TypesA...>> : std::true_type {};
};
bool foo = ValueTemplate<int>::IsInstanceOf<VsA, VsA<0>>::value;
|