It is currently an error to attempt to import an identifier from more than one library into the same module, even if the identifier is not used anywhere in the module. That requires programmers to make an arbitrary decision to exclude it from one module or the other.
I propose to allow an unused identifier to be imported from more than one library.
The WG voted to reject this proposal.