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

--- Comment #8 from Jonathan Wakely <redi at gcc dot gnu.org> ---
(In reply to Jack Howarth from comment #7)
> Is there e reason for gcc not to detect such wrong code issues by default?

Read the docs, the concept checks only enforce C++03 requirements, so turning
them on by default would erroneously reject valid C++11 programs that rely on
the relaxed 

> Perhaps gcc 6 should finally default to --enable-concept-checks.

Definitely not.

The reason I haven't just closed this as INVALID is that in C++11 mode we could
add unconditional static assertions, but someone needs to do the work of adding
those assertions, and making sure they test the right concepts (which may
differ from the existing C++03 checks).

Reply via email to