rust-lang/rfcs — pull request #501 by Kimundi (2014-12-06 14:37:41+00:00)
Title: Added Consistent No Prelude Attribute RFC

Make name and behavior of the `#![no_std]` and `#![no_implicit_prelude]` attributes
consistent by renaming the latter to `#![no_prelude]` and having it only apply to the current
module.

Optionally add a `#[deep(...)]` attribute for deeply applying an attribute to each module as
composable replacement for the old behavior.

[](Rendered)