Talk:cpp/language/attributes/contract

I don't think this is in c++20, right?