// 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" } |