Need to spend a bit more time looking into it, but basically I believe that each deferred import should be treated as a dart_entry and generate it's own static DI. Then when traversing the tree looking for injectables it should not go into the deferred libs.