blob: 463f539d38fd46dcec33ccb22930572817986a07 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
// PR c++/54575
// { dg-do compile { target c++11 } }
template<typename _From, typename _To>
struct is_convertible { static const bool value = true; };
template<bool> struct enable_if { };
template<> struct enable_if<true> { typedef int type; };
template<typename _InIter>
using _RequireInputIter
= typename enable_if<is_convertible<_InIter,bool>::value>::type;
template<typename _Tp> struct X {
template<typename _InputIterator,
typename = _RequireInputIter<_InputIterator>>
void insert(_InputIterator) {}
};
template<typename> void foo() {
X<int> subdomain_indices;
subdomain_indices.insert(0);
}
|