While I really love the idea, sometimes we do "have" to test internals and with large codebases it can be tedious to manage the allow-packages.
However I think in practice most people just default to not having their tests in a public package rather than needing to actually test something private, so it would be useful if we could have this linter report when a test package only uses public elements and thus could be made into its own package.
I'm not sure how feasible that actually is though since it would require the linter to consider the whole package rather than individual files