gcc/testsuite/g++.dg/template/nontype2.C

template <bool> struct A {};
 
template <bool> struct B
{
  void foo()
  {
    const int i=0;
    typedef A< i<=1 > C;
    typedef A< i<=2 > C;
  }
};