For example,
  template <template <typename> class X> struct foo {};

Reviewed-by: erikv

The check should be done in the semantic phase.