C++2a contract programming and compilers

Question

I\'m interested in studying the recently accepted contract programming for C++20 for learning and investigation purpose.

As I\'m looking around for compiler support, I\'

Answer 1

You might want to try this experimental implementation of contracts in Clang.

Answer 2

The July 2019 WG21 meeting in Cologne agreed to remove contracts from the C++20 working draft. See proposal P1823 from Nicolai Josuttis here.