// { dg-do compile }
// Origin: Ewgenij Gawrilow <gawrilow@math.tu-berlin.de>

// PR c++/6723
// ICE when default template argument contains instantiation of
// template template parameter.

template <typename A, typename B,
	  template <typename,typename> class Predicate,
	  bool _matches=Predicate<A,B>::answer>
struct helper { };