git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit - src/tools/miri

author	bors <bors@rust-lang.org>
	Fri, 2 Apr 2021 07:04:58 +0000 (07:04 +0000)
committer	bors <bors@rust-lang.org>
	Fri, 2 Apr 2021 07:04:58 +0000 (07:04 +0000)
commit	5662d9343f0696efcc38a1264656737c9f22d427
tree	659e330db6b6689af77c0fb03aa65ff814209fe2	tree \| snapshot
parent	4fa76a4a7742bb9c1febe33019f5a9e7e4839a65	commit \| diff
parent	34c6cee397183974b34a6e04c94b38202eb40caf	commit \| diff

Auto merge of #80965 - camelid:rename-doc-spotlight, r=jyn514

Rename `#[doc(spotlight)]` to `#[doc(notable_trait)]`

Fixes #80936.

"spotlight" is not a very specific or self-explaining name.
Additionally, the dialog that it triggers is called "Notable traits".
So, "notable trait" is a better name.

* Rename `#[doc(spotlight)]` to `#[doc(notable_trait)]`
* Rename `#![feature(doc_spotlight)]` to `#![feature(doc_notable_trait)]`
* Update documentation
* Improve documentation

r? `@Manishearth`

Empowering everyone to build reliable and efficient software.

RSS Atom

compiler/rustc_ast_passes/src/feature_gate.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_feature/src/active.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_feature/src/removed.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_passes/src/check_attr.rs	diff1 \|	diff2 \|	blob \| history
compiler/rustc_span/src/symbol.rs	diff1 \|	diff2 \|	blob \| history
library/core/src/iter/traits/iterator.rs	diff1 \|	diff2 \|	blob \| history
library/core/src/lib.rs	diff1 \|	diff2 \|	blob \| history
library/std/src/io/mod.rs	diff1 \|	diff2 \|	blob \| history
library/std/src/lib.rs	diff1 \|	diff2 \|	blob \| history
src/librustdoc/clean/inline.rs	diff1 \|	diff2 \|	blob \| history
src/librustdoc/formats/cache.rs	diff1 \|	diff2 \|	blob \| history