@@ -4,7 +4,7 @@ This section covers a numbers of common compiler terms that arise in
4
4
this guide. We try to give the general definition while providing some
5
5
Rust-specific context.
6
6
7
- <a name =" cfg " ></a >
7
+ <a id =" cfg " ></a >
8
8
9
9
## What is a control-flow graph?
10
10
@@ -100,7 +100,7 @@ When using a control-flow graph, a loop simply appears as a cycle in
100
100
the graph, and the ` break ` keyword translates into a path out of that
101
101
cycle.
102
102
103
- <a name =" dataflow " ></a >
103
+ <a id =" dataflow " ></a >
104
104
105
105
## What is a dataflow analysis?
106
106
@@ -186,7 +186,7 @@ useful. For example, rather than starting from block (A) and moving forwards,
186
186
we might have started with the usage of ` x ` and moved backwards to try to find
187
187
its initialization.
188
188
189
- <a name =" quantified " ></a >
189
+ <a id =" quantified " ></a >
190
190
191
191
## What is "universally quantified"? What about "existentially quantified"?
192
192
@@ -233,7 +233,7 @@ fn foo(_: dyn Debug)
233
233
This function claims that there exists some type ` T ` that implements ` Debug `
234
234
such that the function is well-typed: ` ∃ T: (T: Debug) and well_typed(foo) ` .
235
235
236
- <a name =" variance " ></a >
236
+ <a id =" variance " ></a >
237
237
238
238
## What is a de Bruijn Index?
239
239
@@ -268,7 +268,7 @@ Check out the subtyping chapter from the
268
268
See the [ variance] ( ../variance.html ) chapter of this guide for more info on how
269
269
the type checker handles variance.
270
270
271
- <a name =" free-vs-bound " ></a >
271
+ <a id =" free-vs-bound " ></a >
272
272
273
273
## What is a "free region" or a "free variable"? What about "bound region"?
274
274
0 commit comments