I'll try to illuminate the situation by refactoring the other places that are doing the same thing. But in this context, we *only* care about package object contents, the package can't directly contain implicit members. So the `singleType` over a `NoSymbol` doesn't harm us.