Skip to content

Commit b07cad9

Browse files
committed
Fix borked links
1 parent 2d62dd5 commit b07cad9

File tree

3 files changed

+6
-6
lines changed

3 files changed

+6
-6
lines changed

src/appendix/code-index.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -27,7 +27,7 @@ Item | Kind | Short description | Chapter |
2727
`StringReader` | struct | This is the lexer used during parsing. It consumes characters from the raw source code being compiled and produces a series of tokens for use by the rest of the parser | [The parser] | [compiler/rustc_parse/src/lexer/mod.rs](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_parse/lexer/struct.StringReader.html)
2828
`rustc_ast::token_stream::TokenStream` | struct | An abstract sequence of tokens, organized into `TokenTree`s | [The parser], [Macro expansion] | [compiler/rustc_ast/src/tokenstream.rs](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_ast/tokenstream/struct.TokenStream.html)
2929
`TraitDef` | struct | This struct contains a trait's definition with type information | [The `ty` modules] | [compiler/rustc_middle/src/ty/trait_def.rs](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/trait_def/struct.TraitDef.html)
30-
`TraitRef` | struct | The combination of a trait and its input types (e.g. `P0: Trait<P1...Pn>`) | [Trait Solving: Goals and Clauses] | [compiler/rustc_middle/src/ty/sty.rs](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.TraitRef.html)
30+
`TraitRef` | struct | The combination of a trait and its input types (e.g. `P0: Trait<P1...Pn>`) | [Trait Solving: Goals and Clauses] | [compiler/rustc_middle/src/ty/sty.rs](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/type.TraitRef.html)
3131
`Ty<'tcx>` | struct | This is the internal representation of a type used for type checking | [Type checking] | [compiler/rustc_middle/src/ty/mod.rs](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.Ty.html)
3232
`TyCtxt<'tcx>` | struct | The "typing context". This is the central data structure in the compiler. It is the context that you use to perform all manner of queries | [The `ty` modules] | [compiler/rustc_middle/src/ty/context.rs](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.TyCtxt.html)
3333

src/backend/implicit-caller-location.md

+4-4
Original file line numberDiff line numberDiff line change
@@ -64,7 +64,7 @@ reach the first function call in the stack which does *not* have the attribute.
6464

6565
Starting at the bottom, we iterate up over stack [`Frame`][const-frame]s in the
6666
[`InterpCx::stack`][const-stack], calling
67-
[`InstanceDef::requires_caller_location`][requires-location] on the
67+
[`InstanceKind::requires_caller_location`][requires-location] on the
6868
[`Instance`s from each `Frame`][frame-instance]. We stop once we find one that returns `false` and
6969
return the span of the *previous* frame which was the "topmost" tracked function.
7070

@@ -166,7 +166,7 @@ function:
166166
* is not `#[naked]`
167167

168168
If the use is valid, we set [`CodegenFnAttrsFlags::TRACK_CALLER`][attrs-flags]. This flag influences
169-
the return value of [`InstanceDef::requires_caller_location`][requires-location] which is in turn
169+
the return value of [`InstanceKind::requires_caller_location`][requires-location] which is in turn
170170
used in both const and codegen contexts to ensure correct propagation.
171171

172172
### Traits
@@ -267,10 +267,10 @@ to the author and reviewers.
267267
[rationale]: https://github.com/rust-lang/rfcs/blob/master/text/2091-inline-semantic.md#rationale
268268
[revised design]: https://github.com/rust-lang/rust/issues/47809#issuecomment-443538059
269269
[attrs-flags]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/middle/codegen_fn_attrs/struct.CodegenFnAttrFlags.html#associatedconstant.TRACK_CALLER
270-
[`ReifyShim`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/enum.InstanceDef.html#variant.ReifyShim
270+
[`ReifyShim`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/enum.InstanceKind.html#variant.ReifyShim
271271
[`Location`]: https://doc.rust-lang.org/core/panic/struct.Location.html
272272
[const-find-closest]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_const_eval/interpret/struct.InterpCx.html#method.find_closest_untracked_caller_location
273-
[requires-location]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/enum.InstanceDef.html#method.requires_caller_location
273+
[requires-location]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/instance/enum.InstanceKind.html#method.requires_caller_location
274274
[alloc-location]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_const_eval/interpret/struct.InterpCx.html#method.alloc_caller_location
275275
[fcx-location]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_codegen_ssa/mir/struct.FunctionCx.html#structfield.caller_location
276276
[const-location-query]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/struct.TyCtxt.html#method.const_caller_location

src/solve/opaque-types.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -41,7 +41,7 @@ discarding their inferred types at the end, changing the behavior of an opaque t
4141
multiple times during coherence: [example][coherence-example]
4242

4343
Inside of the defining scope we start by checking whether the type and const arguments of the
44-
opaque are all placeholders: [source](placeholder-ck). If this check is ambiguous,
44+
opaque are all placeholders: [source][placeholder-ck]. If this check is ambiguous,
4545
return ambiguity, if it fails, return `Err(NoSolution)`. This check ignores regions which are
4646
only checked at the end of borrowck. If it succeeds, continue.
4747

0 commit comments

Comments
 (0)