I think that's the intent of @paulp's patch that you can find in #2789. I agree that's a preferable approach. It looks a touch expensive to me as currently implemented (it does a full traversal of all unit bodies for each missing symbol, as compared to `openPackageObjectsTraverser` which is just run once per-unit, albeit just *after* namer.