https://gcc.gnu.org/bugzilla/show_bug.cgi?id=127572
--- Comment #3 from Joshua Berne <berne at notadragon dot com> --- Created attachment 65667 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=65667&action=edit group 1, wrong-code: accepted, contract runs against the return type's parameter -- must be run
