The following snippet has two issues
While processing package a, the packageBuilder will infer the existence of package b and create the appropriate typeDeclarations.
However, a partial, independent package b is created for X and Y:
- it is inefficient
- internal dependencies cannot be resolved : b.X does not (yet) see b.Y