Switch to automatic standard library links

This removes the explicit links to the standard library. In particular,
this makes it nicer to view locally since you can set SPEC_RELATIVE=0 to
make the links work.

There are a bunch of changes to the actual URL because rustdoc resolves
re-exports to link to the original definition instead of the re-export
site. From what I can tell, everything should otherwise be the same.

Not all links were able to be converted due to some limitations in
rustdoc, such as:

- Links to rexports from std_arch don't work due to rust-lang/rust#96506.
- Links to keywords aren't supported.
- Links to trait impls where the trait is not in the prelude doesn't work (they must be in scope).

src/attributes/codegen.md

@@ -427,9 +427,7 @@ trait object whose methods are attributed.
 [undefined behavior]: ../behavior-considered-undefined.md
 [unsafe function]: ../unsafe-keyword.md
 [rust-abi]: ../items/external-blocks.md#abi
-[`core::intrinsics::caller_location`]: ../../core/intrinsics/fn.caller_location.html
-[`core::panic::Location::caller`]: ../../core/panic/struct.Location.html#method.caller
-[`Location`]: ../../core/panic/struct.Location.html
+[`Location`]: core::panic::Location
 
 ## The `instruction_set` attribute
 

src/attributes/derive.md

@@ -37,8 +37,6 @@ has no direct effect, but it may be used by tools and diagnostic lints to
 detect these automatically generated implementations.
 
 [_MetaListPaths_]: ../attributes.md#meta-item-attribute-syntax
-[`Clone`]: ../../std/clone/trait.Clone.html
-[`PartialEq`]: ../../std/cmp/trait.PartialEq.html
 [`impl` item]: ../items/implementations.md
 [items]: ../items.md
 [derive macros]: ../procedural-macros.md#derive-macros

src/attributes/diagnostics.md

@@ -491,7 +491,6 @@ error[E0277]: My Message for `ImportantTrait<i32>` implemented for `String`
    = note: Note 2
 ```
 
-[`std::fmt`]: ../../std/fmt/index.html
 [Clippy]: https://github.com/rust-lang/rust-clippy
 [_MetaListNameValueStr_]: ../attributes.md#meta-item-attribute-syntax
 [_MetaListPaths_]: ../attributes.md#meta-item-attribute-syntax

src/attributes/testing.md

@@ -82,8 +82,8 @@ fn mytest() {
 
 [_MetaListNameValueStr_]: ../attributes.md#meta-item-attribute-syntax
 [_MetaNameValueStr_]: ../attributes.md#meta-item-attribute-syntax
-[`Termination`]: ../../std/process/trait.Termination.html
-[`report`]: ../../std/process/trait.Termination.html#tymethod.report
+[`Termination`]: std::process::Termination
+[`report`]: std::process::Termination::report
 [`test` conditional compilation option]: ../conditional-compilation.md#test
 [attributes]: ../attributes.md
-[`ExitCode`]: ../../std/process/struct.ExitCode.html
+[`ExitCode`]: std::process::ExitCode

src/behavior-considered-undefined.md

@@ -30,7 +30,7 @@ Please read the [Rustonomicon] before writing unsafe code.
 * Accessing (loading from or storing to) a place that is [dangling] or [based on
   a misaligned pointer].
 * Performing a place projection that violates the requirements of [in-bounds
-  pointer arithmetic][offset]. A place projection is a [field
+  pointer arithmetic](pointer#method.offset). A place projection is a [field
   expression][project-field], a [tuple index expression][project-tuple], or an
   [array/slice index expression][project-slice].
 * Breaking the [pointer aliasing rules]. `Box<T>`, `&mut T` and `&T` follow
@@ -176,16 +176,14 @@ reading uninitialized memory is permitted are inside `union`s and in "padding"
 [pointer aliasing rules]: http://llvm.org/docs/LangRef.html#pointer-aliasing-rules
 [undef]: http://llvm.org/docs/LangRef.html#undefined-values
 [`target_feature`]: attributes/codegen.md#the-target_feature-attribute
-[`UnsafeCell<U>`]: ../std/cell/struct.UnsafeCell.html
+[`UnsafeCell<U>`]: std::cell::UnsafeCell
 [Rustonomicon]: ../nomicon/index.html
-[`NonNull<T>`]: ../core/ptr/struct.NonNull.html
-[`NonZero<T>`]: ../core/num/struct.NonZero.html
-[`Box<T>`]: ../alloc/boxed/struct.Box.html
+[`NonNull<T>`]: core::ptr::NonNull
+[`NonZero<T>`]: core::num::NonZero
 [place expression context]: expressions.md#place-expressions-and-value-expressions
 [rules]: inline-assembly.md#rules-for-inline-assembly
 [points to]: #pointed-to-bytes
 [pointed to]: #pointed-to-bytes
-[offset]: ../std/primitive.pointer.html#method.offset
 [project-field]: expressions/field-expr.md
 [project-tuple]: expressions/tuple-expr.md#tuple-indexing-expressions
 [project-slice]: expressions/array-expr.md#array-and-slice-indexing-expressions

src/conditional-compilation.md

@@ -201,8 +201,6 @@ atomic loads, stores, and compare-and-swap operations.
 When this cfg is present, all of the stable [`core::sync::atomic`] APIs are available for
 the relevant atomic width.
 
-[`core::sync::atomic`]: ../core/sync/atomic/index.html
-
 Possible values:
 
 * `"8"`
@@ -374,7 +372,6 @@ println!("I'm running on a {} machine!", machine_kind);
 [`cfg`]: #the-cfg-attribute
 [`cfg` macro]: #the-cfg-macro
 [`cfg_attr`]: #the-cfg_attr-attribute
-[`debug_assert!`]: ../std/macro.debug_assert.html
 [`target_feature` attribute]: attributes/codegen.md#the-target_feature-attribute
 [attribute]: attributes.md
 [attributes]: attributes.md

src/crates-and-source-files.md

@@ -129,14 +129,14 @@ or `_` (U+005F) characters.
     ECMA-335 CLI model, a *library* in the SML/NJ Compilation Manager, a *unit*
     in the Owens and Flatt module system, or a *configuration* in Mesa.
 
-[Unicode alphanumeric]: ../std/primitive.char.html#method.is_alphanumeric
+[Unicode alphanumeric]: char::is_alphanumeric
 [`!`]: types/never.md
 [_InnerAttribute_]: attributes.md
 [_Item_]: items.md
 [_MetaNameValueStr_]: attributes.md#meta-item-attribute-syntax
-[`ExitCode`]: ../std/process/struct.ExitCode.html
-[`Infallible`]: ../std/convert/enum.Infallible.html
-[`Termination`]: ../std/process/trait.Termination.html
+[`ExitCode`]: std::process::ExitCode
+[`Infallible`]: std::convert::Infallible
+[`Termination`]: std::process::Termination
 [attribute]: attributes.md
 [attributes]: attributes.md
 [function]: items/functions.md

src/destructors.md

@@ -8,7 +8,7 @@ dropped.
 
 The destructor of a type `T` consists of:
 
-1. If `T: Drop`, calling [`<T as std::ops::Drop>::drop`]
+1. If `T: Drop`, calling [`<T as std::ops::Drop>::drop`](std::ops::Drop::drop)
 2. Recursively running the destructor of all of its fields.
     * The fields of a [struct] are dropped in declaration order.
     * The fields of the active [enum variant] are dropped in declaration order.
@@ -400,8 +400,3 @@ variable or field from being dropped automatically.
 [`match`]: expressions/match-expr.md
 [`while let`]: expressions/loop-expr.md#predicate-pattern-loops
 [`while`]: expressions/loop-expr.md#predicate-loops
-
-[`<T as std::ops::Drop>::drop`]: ../std/ops/trait.Drop.html#tymethod.drop
-[`std::ptr::drop_in_place`]: ../std/ptr/fn.drop_in_place.html
-[`std::mem::forget`]: ../std/mem/fn.forget.html
-[`std::mem::ManuallyDrop`]: ../std/mem/struct.ManuallyDrop.html

src/expressions.md

@@ -284,7 +284,6 @@ They are never allowed before:
 [destructors]:          destructors.md
 [drop scope]:           destructors.md#drop-scopes
 
-[`Box<T>`]:             ../std/boxed/struct.Box.html
 [`Copy`]:               special-types-and-traits.md#copy
 [`Drop`]:               special-types-and-traits.md#drop
 [`Sized`]:              special-types-and-traits.md#sized

src/expressions/array-expr.md

@@ -76,8 +76,8 @@ arr[10];                  // warning: index out of bounds
 The array index expression can be implemented for types other than arrays and slices by implementing the [Index] and [IndexMut] traits.
 
 [`Copy`]: ../special-types-and-traits.md#copy
-[IndexMut]: ../../std/ops/trait.IndexMut.html
-[Index]: ../../std/ops/trait.Index.html
+[IndexMut]: std::ops::IndexMut
+[Index]: std::ops::Index
 [_Expression_]: ../expressions.md
 [array]: ../types/array.md
 [constant expression]: ../const_eval.md#constant-expressions

src/expressions/await-expr.md

@@ -49,12 +49,12 @@ The variable `current_context` refers to the context taken from the async enviro
 [_Expression_]: ../expressions.md
 [`async fn`]: ../items/functions.md#async-functions
 [`async` block]: block-expr.md#async-blocks
-[`context`]: ../../std/task/struct.Context.html
-[`future::poll`]: ../../std/future/trait.Future.html#tymethod.poll
-[`pin::new_unchecked`]: ../../std/pin/struct.Pin.html#method.new_unchecked
-[`poll::Pending`]: ../../std/task/enum.Poll.html#variant.Pending
-[`poll::Ready`]: ../../std/task/enum.Poll.html#variant.Ready
+[`Context`]: std::task::Context
+[`future::poll`]: std::future::Future::poll
+[`pin::new_unchecked`]: std::pin::Pin::new_unchecked
+[`poll::Pending`]: std::task::Poll::Pending
+[`poll::Ready`]: std::task::Poll::Ready
 [async context]: ../expressions/block-expr.md#async-context
-[future]: ../../std/future/trait.Future.html
-[`IntoFuture`]: ../../std/future/trait.IntoFuture.html
-[`IntoFuture::into_future`]: ../../std/future/trait.IntoFuture.html#tymethod.into_future
+[future]: std::future::Future
+[`IntoFuture`]: std::future::IntoFuture
+[`IntoFuture::into_future`]: std::future::IntoFuture::into_future

src/expressions/block-expr.md

@@ -231,8 +231,6 @@ fn is_unix_platform() -> bool {
 [`cfg`]: ../conditional-compilation.md
 [`for`]: loop-expr.md#iterator-loops
 [`loop`]: loop-expr.md#infinite-loops
-[`std::ops::Fn`]: ../../std/ops/trait.Fn.html
-[`std::future::Future`]: ../../std/future/trait.Future.html
 [`unsafe` blocks]: ../unsafe-keyword.md#unsafe-blocks-unsafe-
 [`while let`]: loop-expr.md#predicate-pattern-loops
 [`while`]: loop-expr.md#predicate-loops

src/expressions/call-expr.md

@@ -87,11 +87,8 @@ Refer to [RFC 132] for further details and motivations.
 
 [RFC 132]: https://github.com/rust-lang/rfcs/blob/master/text/0132-ufcs.md
 [_Expression_]: ../expressions.md
-[`default()`]: ../../std/default/trait.Default.html#tymethod.default
-[`size_of()`]: ../../std/mem/fn.size_of.html
-[`std::ops::FnMut`]: ../../std/ops/trait.FnMut.html
-[`std::ops::FnOnce`]: ../../std/ops/trait.FnOnce.html
-[`std::ops::Fn`]: ../../std/ops/trait.Fn.html
+[`default()`]: std::default::Default::default
+[`size_of()`]: std::mem::size_of
 [automatically dereferenced]: field-expr.md#automatic-dereferencing
 [fully-qualified syntax]: ../paths.md#qualified-paths
 [non-function types]: ../types/function-item.md

src/expressions/literal-expr.md

@@ -419,7 +419,7 @@ The expression's type is the primitive [boolean type], and its value is:
 [String continuation escapes]: #string-continuation-escapes
 [boolean type]: ../types/boolean.md
 [constant expression]: ../const_eval.md#constant-expressions
-[CStr]: ../../core/ffi/struct.CStr.html
+[CStr]: core::ffi::CStr
 [floating-point types]: ../types/numeric.md#floating-point-types
 [lint check]: ../attributes/diagnostics.md#lint-check-attributes
 [literal tokens]: ../tokens.md#literals
@@ -432,14 +432,7 @@ The expression's type is the primitive [boolean type], and its value is:
 [Unicode scalar value]: http://www.unicode.org/glossary/#unicode_scalar_value
 [Unicode scalar values]: http://www.unicode.org/glossary/#unicode_scalar_value
 [`f32::from_str`]: ../../core/primitive.f32.md#method.from_str
-[`f32::INFINITY`]: ../../core/primitive.f32.md#associatedconstant.INFINITY
-[`f32::NAN`]: ../../core/primitive.f32.md#associatedconstant.NAN
 [`f64::from_str`]: ../../core/primitive.f64.md#method.from_str
-[`f64::INFINITY`]: ../../core/primitive.f64.md#associatedconstant.INFINITY
-[`f64::NAN`]: ../../core/primitive.f64.md#associatedconstant.NAN
-[`u8::from_str_radix`]: ../../core/primitive.u8.md#method.from_str_radix
-[`u32::from_str_radix`]: ../../core/primitive.u32.md#method.from_str_radix
-[`u128::from_str_radix`]: ../../core/primitive.u128.md#method.from_str_radix
 [CHAR_LITERAL]: ../tokens.md#character-literals
 [STRING_LITERAL]: ../tokens.md#string-literals
 [RAW_STRING_LITERAL]: ../tokens.md#raw-string-literals

src/expressions/method-call-expr.md

@@ -93,4 +93,4 @@ Just don't define inherent methods on trait objects with the same name as a trai
 [dereference]: operator-expr.md#the-dereference-operator
 [methods]: ../items/associated-items.md#methods
 [unsized coercion]: ../type-coercions.md#unsized-coercions
-[`IntoIterator`]: ../../std/iter/trait.IntoIterator.html
+[`IntoIterator`]: std::iter::IntoIterator

src/expressions/operator-expr.md

@@ -674,8 +674,8 @@ See [this test] for an example of using this dependency.
 [Function pointer]: ../types/function-pointer.md
 [Function item]: ../types/function-item.md
 [undefined behavior]: ../behavior-considered-undefined.md
-[addr_of]: ../../std/ptr/macro.addr_of.html
-[addr_of_mut]: ../../std/ptr/macro.addr_of_mut.html
+[addr_of]: std::ptr::addr_of
+[addr_of_mut]: std::ptr::addr_of_mut
 
 [_BorrowExpression_]: #borrow-operators
 [_DereferenceExpression_]: #the-dereference-operator

src/inline-assembly.md

@@ -6,8 +6,8 @@ r[asm.intro]
 Support for inline assembly is provided via the [`asm!`] and [`global_asm!`] macros.
 It can be used to embed handwritten assembly in the assembly output generated by the compiler.
 
-[`asm!`]: ../core/arch/macro.asm.html
-[`global_asm!`]: ../core/arch/macro.global_asm.html
+[`asm!`]: core::arch::asm
+[`global_asm!`]: core::arch::global_asm
 
 r[asm.stable-targets]
 Support for inline assembly is stable on the following architectures:
@@ -119,7 +119,7 @@ These targets impose an additional restriction on the assembly code: any assembl
 Assembly code that does not conform to the GAS syntax will result in assembler-specific behavior.
 Further constraints on the directives used by inline assembly are indicated by [Directives Support](#directives-support).
 
-[format-syntax]: ../std/fmt/index.html#syntax
+[format-syntax]: std::fmt#syntax
 [rfc-2795]: https://github.com/rust-lang/rfcs/pull/2795
 
 ## Operand type

src/input-format.md

@@ -44,9 +44,6 @@ This prevents an [inner attribute] at the start of a source file being removed.
 The resulting sequence of characters is then converted into tokens as described in the remainder of this chapter.
 
 
-[`include!`]: ../std/macro.include.md
-[`include_bytes!`]: ../std/macro.include_bytes.md
-[`include_str!`]: ../std/macro.include_str.md
 [inner attribute]: attributes.md
 [BYTE ORDER MARK]: https://en.wikipedia.org/wiki/Byte_order_mark#UTF-8
 [comments]: comments.md

src/interior-mutability.md

@@ -22,8 +22,3 @@ across threads.
 
 [shared reference]: types/pointer.md#shared-references-
 [ub]: behavior-considered-undefined.md
-[`std::cell::UnsafeCell<T>`]: ../std/cell/struct.UnsafeCell.html
-[`std::cell::RefCell<T>`]: ../std/cell/struct.RefCell.html
-[`std::sync::atomic`]: ../std/sync/atomic/index.html
-
-

src/introduction.md

@@ -131,7 +131,7 @@ We also want the reference to be as normative as possible, so if you see anythin
 
 [book]: ../book/index.html
 [github issues]: https://github.com/rust-lang/reference/issues
-[standard library]: ../std/index.html
+[standard library]: std
 [the Rust Reference repository]: https://github.com/rust-lang/reference/
 [Unstable Book]: https://doc.rust-lang.org/nightly/unstable-book/
 [_Expression_]: expressions.md

src/items/enumerations.md

@@ -197,7 +197,7 @@ enum OverflowingDiscriminantError2 {
 
 #### Via `mem::discriminant`
 
-[`mem::discriminant`] returns an opaque reference to the discriminant of
+[`std::mem::discriminant`] returns an opaque reference to the discriminant of
 an enum value which can be compared. This cannot be used to get the value
 of the discriminant.
 
@@ -331,7 +331,6 @@ enum E {
 [_Visibility_]: ../visibility-and-privacy.md
 [_WhereClause_]: generics.md#where-clauses
 [`C` representation]: ../type-layout.md#the-c-representation
-[`mem::discriminant`]: ../../std/mem/fn.discriminant.html
 [call expression]: ../expressions/call-expr.md
 [constant expression]: ../const_eval.md#constant-expressions
 [default representation]: ../type-layout.md#the-default-representation

src/items/functions.md

@@ -418,7 +418,7 @@ fn foo_oof(#[some_inert_attribute] arg: u8) {
 [`export_name`]: ../abi.md#the-export_name-attribute
 [`link_section`]: ../abi.md#the-link_section-attribute
 [`no_mangle`]: ../abi.md#the-no_mangle-attribute
-[built-in attributes]: ../attributes.html#built-in-attributes-index
+[built-in attributes]: ../attributes.md#built-in-attributes-index
 [trait item]: traits.md
 [method]: associated-items.md#methods
 [associated function]: associated-items.md#associated-functions-and-methods

src/items/unions.md

@@ -175,10 +175,8 @@ checking, etc etc etc).
 [_GenericParams_]: generics.md
 [_WhereClause_]: generics.md#where-clauses
 [_StructFields_]: structs.md
-[`transmute`]: ../../std/mem/fn.transmute.html
-[`Copy`]: ../../std/marker/trait.Copy.html
+[`transmute`]: std::mem::transmute
 [boolean type]: ../types/boolean.md
-[ManuallyDrop]: ../../std/mem/struct.ManuallyDrop.html
 [the C representation]: ../type-layout.md#reprc-unions
 [type namespace]: ../names/namespaces.md
-[undefined behavior]: ../behavior-considered-undefined.html
+[undefined behavior]: ../behavior-considered-undefined.md

src/names/preludes.md

@@ -52,7 +52,7 @@ added as long as the [`no_std` attribute] is not specified in the crate root.
 > the extern prelude, so it is considered unidiomatic to use `extern crate`.
 
 > **Note**: Additional crates that ship with `rustc`, such as [`alloc`], and
-> [`test`], are not automatically included with the `--extern` flag when using
+> [`test`](mod@test), are not automatically included with the `--extern` flag when using
 > Cargo. They must be brought into scope with an `extern crate` declaration,
 > even in the 2018 edition.
 >
@@ -137,24 +137,11 @@ This attribute does not affect the [language prelude].
 > from the standard library are still included in the `macro_use` prelude.
 > Starting in the 2018 edition, it will remove the `macro_use` prelude.
 
-[`alloc`]: ../../alloc/index.html
-[`Box`]: ../../std/boxed/struct.Box.html
-[`core::prelude::v1`]: ../../core/prelude/v1/index.html
-[`core::prelude::rust_2015`]: ../../core/prelude/rust_2015/index.html
-[`core::prelude::rust_2018`]: ../../core/prelude/rust_2018/index.html
-[`core::prelude::rust_2021`]: ../../core/prelude/rust_2021/index.html
-[`core`]: ../../core/index.html
 [`extern crate`]: ../items/extern-crates.md
 [`macro_use` attribute]: ../macros-by-example.md#the-macro_use-attribute
 [`macro_use` prelude]: #macro_use-prelude
 [`no_std` attribute]: #the-no_std-attribute
 [`no_std` attribute]: #the-no_std-attribute
-[`std::prelude::v1`]: ../../std/prelude/v1/index.html
-[`std::prelude::rust_2015`]: ../../std/prelude/rust_2015/index.html
-[`std::prelude::rust_2018`]: ../../std/prelude/rust_2018/index.html
-[`std::prelude::rust_2021`]: ../../std/prelude/rust_2021/index.html
-[`std`]: ../../std/index.html
-[`test`]: ../../test/index.html
 [attribute]: ../attributes.md
 [Boolean type]: ../types/boolean.md
 [Built-in attributes]: ../attributes.md#built-in-attributes-index

src/procedural-macros.md

@@ -338,16 +338,15 @@ their equivalent `#[doc = r"str"]` attributes when passed to macros.
 [Cargo's build scripts]: ../cargo/reference/build-scripts.html
 [Derive macros]: #derive-macros
 [Function-like macros]: #function-like-procedural-macros
-[`Delimiter::None`]: ../proc_macro/enum.Delimiter.html#variant.None
-[`Group`]: ../proc_macro/struct.Group.html
-[`TokenStream`]: ../proc_macro/struct.TokenStream.html
-[`TokenStream`s]: ../proc_macro/struct.TokenStream.html
-[`TokenTree`s]: ../proc_macro/enum.TokenTree.html
-[`compile_error`]: ../std/macro.compile_error.html
+[`Delimiter::None`]: proc_macro::Delimiter::None
+[`Group`]: proc_macro::Group
+[`TokenStream`]: proc_macro::TokenStream
+[`TokenStream`s]: proc_macro::TokenStream
+[`TokenTree`s]: proc_macro::TokenTree
 [`derive` attribute]: attributes/derive.md
 [`extern` blocks]: items/external-blocks.md
 [`macro_rules`]: macros-by-example.md
-[`proc_macro` crate]: ../proc_macro/index.html
+[`proc_macro` crate]: proc_macro
 [attribute]: attributes.md
 [attributes]: attributes.md
 [block]: expressions/block-expr.md

src/runtime.md

@@ -75,11 +75,11 @@ display a console window on startup. It will run detached from any existing cons
 ```
 
 [_MetaNameValueStr_]: attributes.md#meta-item-attribute-syntax
-[`GlobalAlloc`]: ../alloc/alloc/trait.GlobalAlloc.html
-[`PanicInfo`]: ../core/panic/struct.PanicInfo.html
+[`GlobalAlloc`]: alloc::alloc::GlobalAlloc
+[`PanicInfo`]: core::panic::PanicInfo
 [abort]: ../book/ch09-01-unrecoverable-errors-with-panic.html
 [attribute]: attributes.md
 [crate types]: linkage.md
-[set_hook]: ../std/panic/fn.set_hook.html
+[set_hook]: std::panic::set_hook
 [static item]: items/static-items.md
 [subsystem]: https://msdn.microsoft.com/en-us/library/fcc1zstk.aspx