template<typename T, typename U = int> struct foo {}; template<template <typename> class TT> struct bar {}; bar<foo> x; compiles, see http://gcc.gnu.org/bugzilla/show_bug.cgi?id=4205#comment_text_8
This is a dup of bug 9737. *** This bug has been marked as a duplicate of 9737 ***