https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63198
Thomas Bernard <thomas at famillebernardgouriou dot fr> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |thomas@famillebernardgourio | |u.fr --- Comment #3 from Thomas Bernard <thomas at famillebernardgouriou dot fr> --- I tried investigating this and it seems that decltype( v1 = v2 )::t1 should be handled as a dependent type, but isn't. I modified the test case like this template <typename T> void f1(typename decltype(v1 = v2)::t1); and the problem seems to be solved.