|
152
|
1 // PR c++/70642
|
|
|
2 // { dg-do compile { target c++11 } }
|
|
|
3
|
|
|
4 template<bool, class> struct enable_if {};
|
|
|
5 template<class T> struct enable_if<true, T> { using type = T; };
|
|
|
6
|
|
|
7 template <typename X>
|
|
|
8 struct foo
|
|
|
9 {
|
|
|
10 template <typename R>
|
|
|
11 using meow = typename enable_if<sizeof(X) == 0, R>::type; // { dg-error "no type named .type." }
|
|
|
12
|
|
|
13 template <typename R = int> // 1
|
|
|
14 meow<R> bar () = delete;
|
|
|
15
|
|
|
16 int bar ()
|
|
|
17 {
|
|
|
18 meow<int> i; // 2
|
|
|
19 return 0; // 3
|
|
|
20 }
|
|
|
21 };
|
|
|
22
|
|
|
23 int j = foo<long>().bar();
|
