Skip to content

Commit ae6381c

Browse files
authored
Fix relative link
1 parent be67227 commit ae6381c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/appendix/glossary.md

+1-1
Original file line numberDiff line numberDiff line change
@@ -54,7 +54,7 @@ rib | a data structure in the name resolver that keeps trac
5454
sess | the compiler session, which stores global data used throughout compilation
5555
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.
5656
sigil | like a keyword but composed entirely of non-alphanumeric tokens. For example, `&` is a sigil for references.
57-
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#placeholder) for more details.
57+
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.
5858
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").
5959
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.
6060
substs | the substitutions for a given generic type or item (e.g. the `i32`, `u32` in `HashMap<i32, u32>`)

0 commit comments

Comments
 (0)