Note a redundantly imported name is allowed to be used

We had mentioned and demonstrated that a name is allowed to be
redundantly imported by multiple glob imports, but we hadn't said
that it is allowed to then be *used*.

Given the example that directly proceeds this, it seems important to
make a note of that, so let's do that, and let's extend the example to
demonstrate this.

Author: traviscross

src/items/use-declarations.md

@@ -361,7 +361,7 @@ fn main() {
 }
 ```
 
-Multiple glob imports are allowed to import the same name if the imports are of the same item (following re-exports). The visibility of the name is the maximum visibility of the imports. Example:
+Multiple glob imports are allowed to import the same name, and that name is allowed to be used, if the imports are of the same item (following re-exports). The visibility of the name is the maximum visibility of the imports. Example:
 
 ```rust
 mod foo {
@@ -372,12 +372,15 @@ mod bar {
     pub use super::foo::Qux;
 }
 
-// These both import the same `Qux`.
-// The visibility of `Qux` is `pub` because that is the maximum
-// visibility between these two `use` declarations.
-use foo::*;
+// These both import the same `Qux`. The visibility of `Qux`
+// is `pub` because that is the maximum visibility between
+// these two `use` declarations.
 pub use bar::*;
-# fn main() {}
+use foo::*;
+
+fn main() {
+    let _: Qux = Qux;
+}
 ```
 
 [_SimplePath_]: ../paths.md#simple-paths