http://gcc.gnu.org/bugzilla/show_bug.cgi?id=50436
--- Comment #1 from Zack Weinberg <zackw at panix dot com> 2011-09-16 19:13:13 UTC --- Here's a variant that hangs. template <bool> struct VI {}; template <typename T> struct IP { static const bool r = IP<T>::r; }; template <typename T> struct V { static const bool r = IP<T>::r; VI<r> vi; }; struct X; struct Y { V<X> v; }