// { dg-do assemble } template <int B> class foo; template <class U> class bar { typedef foo<(U::id > 0)> foobar; };