view gcc/testsuite/g++.dg/template/partial-specialization4.C @ 131:84e7813d76e9

gcc-8.2
author mir3636
date Thu, 25 Oct 2018 07:37:49 +0900
parents 04ced10e8804
children
line wrap: on
line source

// PR c++/70141

template <typename T>
struct outer
{
  template <typename U>
  struct inner
  {

  };
};


template <typename T>
struct is_inner_for
{
  template <typename Whatever>
  struct predicate;

  template <typename U>
  struct predicate<typename outer<T>::template inner<U> >
  {
  };
};

is_inner_for<int>::predicate<outer<int>::inner<double> > p;