|  | // RUN: %clang_cc1 -fsyntax-only -verify %s -Wno-unused-value -std=c++17 | 
|  | // expected-no-diagnostics | 
|  | namespace test1 { | 
|  |  | 
|  | template <int num> int return_num() { return num; } | 
|  |  | 
|  | template <typename lambda> struct lambda_wrapper { | 
|  | lambda &outer_lambda; | 
|  | lambda_wrapper(lambda& outer_lambda) : outer_lambda(outer_lambda) {} | 
|  | template <typename T> auto operator+(T t) { outer_lambda(t); return 1; } | 
|  | }; | 
|  |  | 
|  | template <int... nums, typename lambda> | 
|  | void bw(lambda& outer_lambda) { | 
|  | (lambda_wrapper(outer_lambda) + ... + return_num<nums>()); | 
|  | } | 
|  |  | 
|  | template <typename lambda> auto check_return_type(lambda inner_lambda) { | 
|  | using inner_lambda_return_type = decltype(inner_lambda(5)); | 
|  | } | 
|  |  | 
|  | void cs() { | 
|  | auto outer_lambda = [](auto param) { | 
|  | auto inner_lambda = [](auto o) -> decltype(param) {}; | 
|  | check_return_type(inner_lambda); | 
|  | }; | 
|  | bw<1,2>(outer_lambda); | 
|  | } | 
|  |  | 
|  | }  // namespace test1 | 
|  |  | 
|  | namespace test2 { | 
|  |  | 
|  | template <typename lambda> | 
|  | auto run_lambda_with_zero(lambda l) { | 
|  | l(0); | 
|  | } | 
|  | template <typename ... Ts, typename lambda> | 
|  | void run_lambda_once_per_type(lambda l) { | 
|  | ((Ts{}, run_lambda_with_zero(l)), ...); | 
|  | } | 
|  | template <typename> void inner_function() { | 
|  | char c; | 
|  | [](auto param) -> decltype(c) { return param; }(0); | 
|  | } | 
|  | void run() { | 
|  | auto x = [](auto) -> void { inner_function<int>(); }; | 
|  | run_lambda_once_per_type<int>(x); | 
|  | } | 
|  |  | 
|  | }  // namespace test2 |