Safe "use" directive

[porton@ex-code.com (Victor Porton)]

I am willing to follow the following coding standard (in almost all
cases) to improve code safety (I consider it a good coding style for
everybody who uses "use"):

Use "use X" directive for a package X only if the package meets the
following criteria:

The visible part of the package X declares nothing except of subtypes,
(generic) subrountines dependent on types declared in visible part of
X, and also (generic) subpackages (recursively) of X contain only
subtypes dependent on types declared in visible part of X and
subrountines dependent on types declared in visible part of X.

This avoids the danger of initentedly "use"ing a subrountine from
one package working on a type from an other package instead of
assumed the-same-named subrountine from the second package.

Do you agree that it is a good rule? (Don't say: never use "use",
I am only about the case if one uses "use".)

Can the current Ada stylistics checking tools enforce such a rule
without too much effort?

P.S. For packages not following this rule (e.g. some Ada.*), it is
possible to create wrapper packages following the rule.