https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110323
Marek Polacek <mpolacek at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Priority|P3 |P2 CC| |mpolacek at gcc dot gnu.org --- Comment #2 from Marek Polacek <mpolacek at gcc dot gnu.org> --- Started with r11-291-g0f50f6daa14018: commit 0f50f6daa140186a048cbf33f54f4591eabf5f12 Author: Jason Merrill <ja...@redhat.com> Date: Mon May 11 15:46:59 2020 -0400 c++: tree walk into TYPENAME_TYPE. ``` template<bool B, class T, class F> struct conditional { using type = T; }; template<class T, class F> struct conditional<false, T, F> { using type = F; }; constexpr int VAL = 1; struct foo { template <int B> void bar(typename conditional<B==VAL, int, float>::type arg) { } }; template void foo::bar<1>(int arg); ```