Skip to content

Commit d3bfd4a

Browse files
ehussmark-i-m
authored andcommitted
Fix some broken fragment links.
1 parent 2dd722b commit d3bfd4a

File tree

3 files changed

+3
-3
lines changed

3 files changed

+3
-3
lines changed

src/appendix/glossary.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -61,7 +61,7 @@ rib | a data structure in the name resolver that keeps trac
6161
sess | the compiler session, which stores global data used throughout compilation
6262
side tables | because the AST and HIR are immutable once created, we often carry extra information about them in the form of hashtables, indexed by the id of a particular node.
6363
sigil | like a keyword but composed entirely of non-alphanumeric tokens. For example, `&` is a sigil for references.
64-
placeholder | **NOTE: skolemization is deprecated by placeholder** a way of handling subtyping around "for-all" types (e.g., `for<'a> fn(&'a u32)`) as well as solving higher-ranked trait bounds (e.g., `for<'a> T: Trait<'a>`). See [the chapter on placeholder and universes](../borrow_check/region_inference.html#placeholders-and-universes) for more details.
64+
placeholder | **NOTE: skolemization is deprecated by placeholder** a way of handling subtyping around "for-all" types (e.g., `for<'a> fn(&'a u32)`) as well as solving higher-ranked trait bounds (e.g., `for<'a> T: Trait<'a>`). See [the chapter on placeholder and universes](../borrow_check/region_inference/placeholders_and_universes.md) for more details.
6565
soundness | soundness is a technical term in type theory. Roughly, if a type system is sound, then if a program type-checks, it is type-safe; i.e. I can never (in safe rust) force a value into a variable of the wrong type. (see "completeness").
6666
span | a location in the user's source code, used for error reporting primarily. These are like a file-name/line-number/column tuple on steroids: they carry a start/end point, and also track macro expansions and compiler desugaring. All while being packed into a few bytes (really, it's an index into a table). See the Span datatype for more.
6767
substs | the substitutions for a given generic type or item (e.g. the `i32`, `u32` in `HashMap<i32, u32>`)

src/borrow_check/region_inference.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -100,7 +100,7 @@ The kinds of region elements are as follows:
100100
- There is an element `!1` for each placeholder region `!1`. This
101101
corresponds (intuitively) to some unknown set of other elements –
102102
for details on placeholders, see the section
103-
[placeholders and universes](#placeholder).
103+
[placeholders and universes](region_inference/placeholders_and_universes.md).
104104

105105
## Constraints
106106

src/tests/intro.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ by the build system (`x.py test`). The main test harness for testing
55
the compiler itself is a tool called compiletest (sources in the
66
[`src/tools/compiletest`]). This section gives a brief overview of how
77
the testing framework is setup, and then gets into some of the details
8-
on [how to run tests](./running.html#ui) as well as
8+
on [how to run tests](./running.html) as well as
99
[how to add new tests](./adding.html).
1010

1111
[`src/tools/compiletest`]: https://github.com/rust-lang/rust/tree/master/src/tools/compiletest

0 commit comments

Comments
 (0)