// { dg-do compile } | |
// { dg-options "-std=c++2a -fcontracts -fcontract-continuation-mode=on" } | |
struct BaseA { | |
virtual int fun(int n) [[ pre: n > 0 ]] { return -n; } | |
}; | |
struct BaseB { | |
virtual int fun(int n) [[ pre: n > 0 ]] { return -n; } | |
}; | |
struct Child : public BaseA, BaseB { | |
int fun(int n) [[ pre: n > 0 ]] { return -n; } | |
}; | |