- [P1494R5: Partial program correctness](https://open-std.org/jtc1/sc22/wg21/docs/papers/2025/p1494r5.html) 言語機能ではなくライブラリにしてあります。 `std::observable()`のリファレンスページで、タイムトラベル最適化についての問題と解決策も書くのがよさそうです。