@@ -4,7 +4,7 @@ This section covers a numbers of common compiler terms that arise in
44this guide. We try to give the general definition while providing some
55Rust-specific context.
66
7- <a name =" cfg " ></a >
7+ <a id =" cfg " ></a >
88
99## What is a control-flow graph?
1010
@@ -100,7 +100,7 @@ When using a control-flow graph, a loop simply appears as a cycle in
100100the graph, and the ` break ` keyword translates into a path out of that
101101cycle.
102102
103- <a name =" dataflow " ></a >
103+ <a id =" dataflow " ></a >
104104
105105## What is a dataflow analysis?
106106
@@ -186,7 +186,7 @@ useful. For example, rather than starting from block (A) and moving forwards,
186186we might have started with the usage of ` x ` and moved backwards to try to find
187187its initialization.
188188
189- <a name =" quantified " ></a >
189+ <a id =" quantified " ></a >
190190
191191## What is "universally quantified"? What about "existentially quantified"?
192192
@@ -233,7 +233,7 @@ fn foo(_: dyn Debug)
233233This function claims that there exists some type ` T ` that implements ` Debug `
234234such that the function is well-typed: ` ∃ T: (T: Debug) and well_typed(foo) ` .
235235
236- <a name =" variance " ></a >
236+ <a id =" variance " ></a >
237237
238238## What is a de Bruijn Index?
239239
@@ -268,7 +268,7 @@ Check out the subtyping chapter from the
268268See the [ variance] ( ../variance.html ) chapter of this guide for more info on how
269269the type checker handles variance.
270270
271- <a name =" free-vs-bound " ></a >
271+ <a id =" free-vs-bound " ></a >
272272
273273## What is a "free region" or a "free variable"? What about "bound region"?
274274
0 commit comments