Limitations of the separate compilation model have come up before. For example, the inability to retrieve all the subclasses of a base class.
This is not an issue that can be solved by removing separate compilation. Dynamically loading objects could easily add to or remove from this list at runtime.
-Steve
