https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90925
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- (In reply to zhonghao from comment #2) > A related code sample: > gcc also accepts it, although x->value is private. No that is not related at all. In fact it is only rejected when D::verify<T> is instantiated. Unlike the original code x is dependent in this example. In the original code/example the type of c() is non-dependent. >BTW, I constructed a related code sample: No and that is not related at all either.