[Bug c++/110872] coroutine postcondition is not evaluated

[iains at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110872

--- Comment #2 from Iain Sandoe <iains at gcc dot gnu.org> ---
fixed on trunk, not sure if we need to back port, leaving open for now.