// { dg-do compile { target c++11 } }

template<typename c>
struct d
{
  using e = c;
};

template<class f>
struct g
{
  using h = typename d<f>::e;

  template<class i, class j>
  auto operator()(i, j k) -> decltype(h{k});
};

template<class l>
void m()
{
  int a[1];
  l{}(a, a);
}

int main()
{
  m<g<int *>>();
}