https://gcc.gnu.org/bugzilla/show_bug.cgi?id=67491 Bug 67491 depends on bug 71130, which changed state.
Bug 71130 Summary: [concepts] Ill-formed code declaring a variable with a non-type concept not rejected https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71130 What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Resolution|--- |DUPLICATE