1 // PR c++/85214 2 // { dg-additional-options -std=c++17 } 3 4 struct g { 5 constexpr operator int() { return true; } 6 }; 7 template <typename T, typename U> constexpr bool m = true; 8 template <long L> struct C { typedef double q; }; ao()9void ao() { 10 [](auto i) { 11 using ar = typename C<i>::q; 12 [](auto j) { 13 using as = typename C<j>::q; 14 if constexpr (m<ar, as>) {} 15 }(g()); 16 }(g()); 17 } 18