https://gcc.gnu.org/bugzilla/show_bug.cgi?id=65269 --- Comment #4 from Andrew Sutton <andrew.n.sutton at gmail dot com> --- > Seems to me that return requires() as yet does not do "type requirement" > as mentioned in n3701.pdf, pg 6 I needed to push the relevant changes to Origin, which I just did.