https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111544
--- Comment #12 from Jonathan Wakely <redi at gcc dot gnu.org> --- (In reply to Andrew Pinski from comment #10) > So clang most likely thinks b.t and c->t are still type depedent even though > they don't need to be ... Which is fine. It's QoI whether non-dependent errors in uninstantiated templates are diagnosed. So Clang is not wrong to accept it. And GCC is not wrong to reject it.