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