https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125834
Bug ID: 125834
Summary: [C++29] P3097R3, Contracts for C++: virtual functions
Product: gcc
Version: 17.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: c++
Assignee: unassigned at gcc dot gnu.org
Reporter: mpolacek at gcc dot gnu.org
Target Milestone: ---
See <https://wg21.link/P3097R3>.
