> It's 'fixed' in the same sense as the compiler knowing what are the subclasses of a base class.

... but the compiler does not know ? new classes are loaded at run-time all the time with e.g. plug-in systems, etc.