статическая или динамическая инициализация?

Правда ли, что в следующем коде, который я взял из другого вопрос, в соответствии со стандартом, статическая переменная-член w должна быть инициализирована динамически?

// MyClass.h:
class MyClass
{
public:
    static int z; 
};

// MyClass.cpp:
int MyClass::z = 4;

// MyOtherClass.h:
class MyOtherClass
{
public:
    static int w;
};

// MyOtherClass.cpp:
int MyOtherClass::w = MyClass::z;

Я не согласен с принятым ответом, потому что в соответствии с формулировкой этого стандарта:

Реализации разрешено выполнять инициализацию нелокальной переменной со статической продолжительностью хранения как статическую инициализацию, даже если такая инициализация не требуется выполнять статически, при условии, что...

- статическая версия инициализации создает то же значение в инициализируемой переменной, которое было бы получено при динамической инициализации, если бы все переменные, не требующие статической инициализации, были инициализированы динамически.

Но откуда компилятору знать, какое значение будет получено при инициализации z, если его определение недостижимо из MyOtherClass.cpp? Если он не может знать, то условие не может быть выполнено, тогда единственным стандартным способом инициализации w является динамический. Правильно ли это, а ответ на другой вопрос неверен?