Fix a link and create an implied internal link (#2051)
This commit is contained in:
parent
e22d05ae17
commit
33c8ae55b7
|
|
@ -49,10 +49,11 @@ represented as a slice `&'tcx [tcx.types.i32, tcx.types.u32]`).
|
||||||
- [`TraitRef`], typically passed by value – a **trait reference** consists of a reference to a trait
|
- [`TraitRef`], typically passed by value – a **trait reference** consists of a reference to a trait
|
||||||
along with its various type parameters (including `Self`), like `i32: Display` (here, the def-id
|
along with its various type parameters (including `Self`), like `i32: Display` (here, the def-id
|
||||||
would reference the `Display` trait, and the args would contain `i32`). Note that `def-id` is
|
would reference the `Display` trait, and the args would contain `i32`). Note that `def-id` is
|
||||||
defined and discussed in depth in the `AdtDef and DefId` section.
|
defined and discussed in depth in the [`AdtDef and DefId`][adtdefid] section.
|
||||||
- [`Predicate`] defines something the trait system has to prove (see `traits` module).
|
- [`Predicate`] defines something the trait system has to prove (see `traits` module).
|
||||||
|
|
||||||
[`GenericArgs`]: ./ty_module/generic_arguments.md#the-genericargs-type
|
[`GenericArgs`]: ./ty_module/generic_arguments.md#the-genericargs-type
|
||||||
|
[adtdefid]: ./ty_module/generic_arguments.md#adtdef-and-defid
|
||||||
[`TraitRef`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/type.TraitRef.html
|
[`TraitRef`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/type.TraitRef.html
|
||||||
[`Predicate`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.Predicate.html
|
[`Predicate`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.Predicate.html
|
||||||
|
|
||||||
|
|
|
||||||
|
|
@ -192,4 +192,4 @@ known to be uninitialized) to run these checks.
|
||||||
[reference-drop]: https://doc.rust-lang.org/reference/destructors.html
|
[reference-drop]: https://doc.rust-lang.org/reference/destructors.html
|
||||||
[drops]: https://github.com/rust-lang/rust/blob/master/compiler/rustc_mir_dataflow/src/elaborate_drops.rs
|
[drops]: https://github.com/rust-lang/rust/blob/master/compiler/rustc_mir_dataflow/src/elaborate_drops.rs
|
||||||
[drops-shim]: https://github.com/rust-lang/rust/blob/master/compiler/rustc_mir_transform/src/shim.rs
|
[drops-shim]: https://github.com/rust-lang/rust/blob/master/compiler/rustc_mir_transform/src/shim.rs
|
||||||
[drops-transform]: https://github.com/rust-lang/rust/blob/master/compiler/rustc_mir_dataflow/src/elaborate_drops.rs
|
[drops-transform]: https://github.com/rust-lang/rust/blob/master/compiler/rustc_mir_transform/src/elaborate_drops.rs
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue