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