mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Correction of type name (#576) 

`ConstraintSet` => `OutlivesConstraintSet`
This commit is contained in:
Youngsuk Kim 2020-02-12 15:15:44 -05:00 committed by GitHub
parent e924dc5032
commit 1923edf526
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/borrow_check/region_inference/constraint_propagation.md
View File

@ -100,7 +100,7 @@ much faster, as described shortly.
In the code, the set of outlives constraints is given to the region In the code, the set of outlives constraints is given to the region
inference context on creation in a parameter of type inference context on creation in a parameter of type
[`ConstraintSet`]. The constraint set is basically just a list of `'a: [`OutlivesConstraintSet`]. The constraint set is basically just a list of `'a:
'b` constraints. 'b` constraints.
### The outlives constraint graph and SCCs ### The outlives constraint graph and SCCs
@ -112,7 +112,7 @@ induces an edge `'a -> 'b`. This conversion happens in the
[`RegionInferenceContext::new`] function that creates the inference [`RegionInferenceContext::new`] function that creates the inference
context. context.
[`ConstraintSet`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/constraints/struct.OutlivesConstraintSet.html [`OutlivesConstraintSet`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/constraints/struct.OutlivesConstraintSet.html
[graph-fn]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/constraints/struct.OutlivesConstraintSet.html#method.graph [graph-fn]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/constraints/struct.OutlivesConstraintSet.html#method.graph
[`RegionInferenceContext::new`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/region_infer/struct.RegionInferenceContext.html#method.new [`RegionInferenceContext::new`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/borrow_check/region_infer/struct.RegionInferenceContext.html#method.new