https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92099
Jason Merrill <jason at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |RESOLVED Resolution|--- |INVALID --- Comment #4 from Jason Merrill <jason at gcc dot gnu.org> --- How is this type-dependent? id is value-dependent, but not type-dependent: it has type E. This seems like a valid (though optional) diagnostic.