RE: [sv-bc] import p::*

Hmmm, 19.2 says, "If the same identifier is wildcard imported into a
scope from two different

packages, the identifier shall be undefined within that scope, and an
error results if the identifier is used."

 

Strictly speaking, that statement should be qualified by saying that the
identifier is also neither declared nor explicitly imported within the
scope.

 

Shalom