blob: 520b80488a8aff92877e66bed1998051a05b34a7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
// PR c++/56915
// { dg-require-effective-target c++11 }
template <typename T>
class A
{
typename T::type b(); // { dg-error "int" }
};
template <typename T, typename U>
void waldo(T, U) {}
template <typename T>
void bar()
{
waldo([](A<T> a){ return a; },
[]{});
}
int main()
{
bar<int>();
}
// { dg-prune-output "used but never defined" }
|