class A
{
 public:
  A() { }

  template<template<typename> class B>
  void C(B<int>&) { }
};

template<typename D, typename E>
class F
{ };

template<typename G>
using H = F<G, int>;

int main()
{
  A a;
  H<int> h;
  a.C(h);
}