True for any - the default, and so what a bare MassifLayer or MassifObject carries -
and for the whole ClassName union, which is what ClassAtPath falls back to when the table
does not record the class at the end of an object path. Both mean the same thing here: the class
is not known at compile time, the C++ resolves against the runtime one, and a table lookup can
only produce a wrong answer.
The usual 0 extends 1 & C probe does NOT work: C is constrained to ClassName, and the
intersection resolves against that constraint rather than staying deferred.
Whether
Csays nothing about the class.True for
any- the default, and so what a bareMassifLayerorMassifObjectcarries - and for the wholeClassNameunion, which is whatClassAtPathfalls back to when the table does not record the class at the end of an object path. Both mean the same thing here: the class is not known at compile time, the C++ resolves against the runtime one, and a table lookup can only produce a wrong answer.The usual
0 extends 1 & Cprobe does NOT work:Cis constrained toClassName, and the intersection resolves against that constraint rather than staying deferred.