| // RUN: %clang_cc1 -std=c++14 -verify %s | |
| // expected-no-diagnostics | |
| template <typename c> auto ab() -> c ; | |
| template <typename> struct e {}; | |
| template <typename f> struct ac { | |
| template <typename h> static e<decltype(ab<h>()(ab<int>))> i; | |
| decltype(i<f>) j; | |
| }; | |
| struct d { | |
| template <typename f> | |
| d(f) { | |
| ac<f> a; | |
| } | |
| }; | |
| struct a { | |
| d b = [=](auto) { (void)[this] {}; }; | |
| }; | |
| void b() { new a; } |