struct P {};
template <typename >
struct O
{
struct I;
};
template <typename T>
struct O<T>::I::S : P {}; // { dg-error "" }