1 // RUN: %clang_cc1 -verify -std=c++17 %s
2
f()3 template<typename T> constexpr int f() { return T::value; } // expected-error {{'::'}}
4 template<bool B, typename T> void g(decltype(B ? f<T>() : 0));
5 template<bool B, typename T> void g(...);
6 template<bool B, typename T> void h(decltype(int{B ? f<T>() : 0})); // expected-note {{instantiation of}}
7 template<bool B, typename T> void h(...);
x()8 void x() {
9 g<false, int>(0); // ok
10 g<true, int>(0); // ok
11 h<false, int>(0); // expected-note {{while substituting}}
12 }
13