Date: Fri, 17 Oct 2025 14:07:29 +0300
On 17 Oct 2025, at 13:26, Daniela Engert via SG15 <sg15_at_[hidden]> wrote:
It is. Otherwise you'd get UB with 'observe' contract evaluation semantics.
With regards to why we allow pre and post to be evaluated multiple times, this is explained in quite some detail in P2899R1 Section 3.5.7. Also, Ville wrote a great motivation paper for this design decision a while ago that I recommend you check out: P3264R1.
Hope this helps.
Cheers,
Timur
Received on 2025-10-17 11:07:34