On 11/4/22 10:40, Jason Merrill wrote:
> The front-end parts of the experimental C++ contracts implementation.  The
> contracts working group are keen to have this available in a released compiler,
> and I've cleaned it up to the point that I think it's ready.  I'm planning to
> commit it after the library and input.cc bits are approved.

Here's what I've pushed: