Dubious "'foo' might be used uninitialized in this function" message

[Robert Dewar]

Florian Weimer wrote:

> Oh, wait, it's a generic unit.  I think warnings are issued in
> multiple places. 8-

Yes, it is fundamental to this example that it is a generic. This
case does not arise for non-generic packages. The point is that
the generic formals can ONLY be referenced in the parent generic
or one of its children, they cannot be referenced by clients.