// cc.in46
// point of declaration for template parameters

template <class T>
class Foo : public T
{};


// TODO: allow T-typed non-type template arguments
// TODO: allow T to be the default argument for a type template argument
