what about stale non-explicit imports?

[ericphanson]

we will suggest converting e.g. using Foo into using Foo: Foo, even if you don't even need Foo at all!

That seems non-ideal

[nickrobinson251]

does this seem fixable? I think it leads to stale deps (because e.g. Aqua's stale deps check also won't complain, because we have the using Foo: Foo line)

[ericphanson]

It should be, in principle we collect all the info needed to determine this