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

   1 // { dg-do compile }
   2 // Origin: Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>
   3
   4 // PR c++/6723
   5 // ICE when default template argument contains instantiation of
   6 // template template parameter.
   7
   8 template <typename A, typename B,
   9           template <typename,typename> class Predicate,
  10           bool _matches=Predicate<A,B>::answer>
  11 struct helper { };