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

Martin Sebor <msebor at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |msebor at gcc dot gnu.org

--- Comment #3 from Martin Sebor <msebor at gcc dot gnu.org> ---
A similar sentiment is also shared within WG14.  See item 12 in section 6.1 of
the last meeting minutes for the two options under consideration (remove or
fix): http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2307.pdf.  Since there
is no proposal for fixing the problems it's unclear how it might impact the
APIs.  Until that's resolved, implementing support for the current API would be
risky.

In the meantime, the C++ proposal for contracts has gained strong support and
might provide a superior alternative.

Reply via email to