// { dg-do compile } struct A {}; template <class T> struct B { T a, b; B() {} B(T x, T y) : a(x), b(y) {} template <class U> operator B<U> () const { return B<U>((U)(this->a), (U)(this->b)); } }; template <class T> struct C : public B<int> { T *c; inline T & operator *() { return *c; } }; template <class T> struct D : virtual public C<T> { }; void foo (D<A> x) { *x; }