The prelude is not a use statement

Author: Havvy

src/crates-and-source-files.md

@@ -85,16 +85,16 @@ fn main() {
 
 ## Preludes and `no_std`
 
-All crates have a *prelude* that automatically inserts a [use declaration] into
-each [module] and an [`extern crate]` into the crate root module. By default,
-the *standard prelude* is used. The linked crate is [`std`] and the [use
-delcaration] uses [`std::prelude::v1::*`].
+All crates have a *prelude* that automatically inserts paths of a specific
+module, the *prelude module*, into scope of each [module] and an [`extern
+crate]` into the crate root module. By default, the *standard prelude* is used.
+The linked crate is [`std`] and the prelude module is [`std::prelude::v1`].
 
 The prelude can be changed to the *core prelude* by using the `no_std`
 [attribute] on the root crate module. The linked crate is [`core`] and the
-[`use` declaration] uses [`core::prelude::v1::*`]. Using the core prelude over
-the standard prelude is useful when either the crate is targeting a platform
-that does not support the standard library or is purposefully not using the
+prelude module is [`core::prelude::v1`]. Using the core prelude over the
+standard prelude is useful when either the crate is targeting a platform that
+does not support the standard library or is purposefully not using the
 capabilities of the standard library. Those capabilities are mainly dynamic
 memory allocation (e.g. `Box` and `Vec`) and file and network capabilities (e.g.
 `std::fs` and `std::io`).
@@ -139,9 +139,9 @@ type must  be one of the following:
 [_utf8 byte order mark_]: https://en.wikipedia.org/wiki/Byte_order_mark#UTF-8
 [`Termination`]: ../std/process/trait.Termination.html
 [`core`]: ../core/index.html
-[`core::prelude::v1::*`]: ../core/preludce.index.html
+[`core::prelude::v1`]: ../core/preludce.index.html
 [`std`]: ../std/index.html
-[`std::prelude::v1::*`]: ../std/prelude/index.html
+[`std::prelude::v1`]: ../std/prelude/index.html
 [`use` declaration]: items/use-declarations.html
 [attribute]: attributes.html
 [attributes]: attributes.html

src/items/modules.md

@@ -68,8 +68,12 @@ mod thread {
 }
 ```
 
-Modules implicitly have a [use declaration] specified by crate's [prelude]. The
-[use declaration] can be removed by using the `no_implicit_prelude` [attribute].
+Modules implicitly have some paths in scope. These paths are to built-in types,
+macros imported with `#[macro_use]` on an extern crate, and by the crate's
+[prelude]. These paths are all made of a single identifier. These paths are not
+paths of the module, so for example, any path `path`, `self::path` is not also
+a valid path. The paths added by the [prelude] can be removed by placing the
+`no_implicit_prelude` [attribute] onto the module.
 
 ## Attributes on Modules