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