template< typename F > void foo( F ) { } int main() { foo( []( int ) { return 42; } ); }