1 2 3 4 5 6 7 8 9 10
struct P {}; template <typename > struct O { struct I; }; template <typename T> struct O<T>::I::S : P {}; // { dg-error "" }