1 // PR c++/85200
2 // { dg-do compile { target c++17 } }
3 
4 struct A{
5     constexpr operator int(){ return 0; }
6 };
7 
8 template < typename >
f()9 void f(){
10     [](auto known){
11         if constexpr(constexpr int k = known);
12     }(A{});
13 }
14 
main()15 int main(){
16     f<int>();
17 }
18