| // PR c++/82159 |
| // { dg-do compile } |
| // { dg-options " -Wno-return-type" } |
| |
| template <typename T> struct D { T e; }; |
| struct F : D<int[0]> { |
| F(const F &); |
| }; |
| struct G : F { |
| template <class T> G operator-(T); |
| }; |
| template <class T> struct I { |
| typedef typename T::template J<I> ak; |
| }; |
| template <class T> struct K { typename I<T>::ak an; }; |
| struct H { |
| G l; |
| }; |
| struct C { |
| ~C(); |
| }; |
| template <class T> struct M : T { |
| template <typename U, typename V> M(U, V); |
| H h; |
| virtual void foo() { T::bar(&h); } |
| }; |
| template <int, typename> class A; |
| template <class> struct B { |
| typedef int BT; |
| struct BC {}; |
| template <class T> struct BD { |
| G g; |
| BD(BT, T n) : g(n.l - 0) {} |
| }; |
| B(BT, BC); |
| }; |
| template <typename> struct O; |
| template <int T, typename U> |
| struct O<B<A<T, U> > > : public B<A<T, U> >::BC {}; |
| struct L : B<A<2, double> > { |
| struct P : C { |
| void bar(H *x) { |
| BT a; |
| BD<H>(a, *x); |
| } |
| }; |
| template <typename U, typename V> L(U x, V n) : B(x, n) {} |
| int ll; |
| virtual int baz() { M<P>(this, ll); } |
| }; |
| template <typename> class Q { |
| O<B<A<2, double> > > q; |
| virtual L baz() { L(0, q); } |
| }; |
| template <template <class> class T> struct R { |
| R() { T<int>(); } |
| }; |
| struct S { |
| template <class> class J : R<Q> {}; |
| }; |
| void foo() { K<S> c; } |
| |
| int main() { |
| return 0; |
| } |