gcc/testsuite/g++.dg/template/deduce9.C

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

template <typename T> class A {
  A(int, int);
  template <typename> friend class A;
  friend T;
};

template<typename U> struct B {
  template<typename V> struct C {
    A<B> begin() { return {1, 0}; }
  };
  template<typename Z, int *P = nullptr>
  C<Z> fn();
};

int
main ()
{
  B<int> b;
  b.fn<int>().begin();
}