> The P2900 contracts failings:

>

> Unimplemented — GCC 16.1 (released 2026-04-30) ships it only as experimental

It will always be experimental before it is standardized, because before standardization the specification could change which means if it was not experimental, GCC had to maintain a standard-incompatible implementation.

Expecting a non-experimental implementation as a requirement for standardization is an impossible goalpost.

Agreed. I've not liked the contract setup for various reasons. It seems like the proponents of it are mostly there because it scratches an itch in PL PhD studies rather than being an actually useful feature.

I remain unconvinced as why this is a necessary feature over the already existing `assert` statements.

At the end, it became very clear that some of the prose came from LLMs. It's a very short survey of other objections. I wonder why he/they reached for an LLM instead of writing it manually.

The paper sounds very, very much like Claude