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).