https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70067
--- Comment #4 from Markus Trippelsdorf <trippels at gcc dot gnu.org> ---
Creduce came up with the following:
template <class> struct App;
template <class> struct Dyn {
typedef typename Dyn::Acc Acc;
App<Acc> a;
};
