Знатоки стандарта, подскажите, пожалуйста, допустима ли следующая конструкция:

struct Base
{
    typedef int SomeType;
};
struct Derived : Base
{
    typedef SomeType BaseSomeType; // подразумевается Base::SomeType, т.к. ещё не успели переопределить
    typedef double SomeType;
};

MSVC нормально компилирует, CodePad тоже. Comeau Online ругается, но сообщение об ошибке выдаёт странное. Кто прав?