https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 67070, which changed state.
Bug 67070 Summary: [concepts] Concept with negation and disjunction not checked correctly https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67070 What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED