// PR c++/28048

template<typename T> struct Boom;

template<typename T, bool D = Boom<T>::Internal::Value> // <--ICE
    struct Foo
    {
    };

template<typename T> struct Boom
{
    struct Internal
    {
      static const bool Value = false;
    };
};