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 { };
12