Update contract-based_programming.md

経緯を補足

Author: tetsurom

lang/future/contract-based_programming.md

@@ -4,7 +4,9 @@
 ## 概要
 将来のC++では、いわゆる[契約プログラミング](https://ja.wikipedia.org/wiki/%E5%A5%91%E7%B4%84%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0)が検討されている。
 
-以下の内容はC++20で予定されていた仕様に基づいており、今後変わる可能性が高い。
+この機能は一度はC++20のドラフトに取り込まれたが、実装が進む中で問題が見つかり最終的に取り除かれた。現在ではC++26以降を目標に議論されている。
+
+以下の内容はC++20で予定されていた仕様に基づいており、最新の案とは異なる。
 
 ## 例
 ```cpp example