Make privacy checking aware that a use
directive can point to two defintions (namespaces) with different privacy.#12245
Merged
bors merged 1 commit intorust-lang:masterfrom Feb 19, 2014