(root)/
gcc-13.2.0/
gcc/
testsuite/
g++.dg/
inherit/
covariant22.C
// PR c++/85068
// { dg-do compile }

struct A;

struct B
{
  virtual A *foo ();	// { dg-message "overridden" }
};

struct C : virtual B
{
  virtual C *foo ();	// { dg-error "invalid covariant return type for" }
};

struct D : C
{
  virtual C *foo ();
};