gcc/testsuite/g++.dg/template/dependent-name18.C

template <bool B> struct A { };
template <class T> void f()
{
  A<T::I < T::J>();
}