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

Update src/borrow_check/region_inference/constraint_propagation.md 

Co-Authored-By: lqd <remy.rakic+github@gmail.com>
This commit is contained in:
Niko Matsakis 2019-06-24 14:34:15 -04:00 committed by Who? Me?!
parent a90e3417f7
commit f540a0ba41
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -213,7 +213,7 @@ placeholders](./placeholders_and_universes.html). Note that the value
for S1 already contains the liveness constraints, since they were for S1 already contains the liveness constraints, since they were
added in [`RegionInferenceContext::new`]. added in [`RegionInferenceContext::new`].
Once that process is done, we now have the "minimal value" for S1, Once that process is done, we now have the "minimal value" for `S1`,
taking into account all of the liveness and outlives taking into account all of the liveness and outlives
constraints. However, in order to complete the process, we must also constraints. However, in order to complete the process, we must also
consider [member constraints][m_c], which are described in [a later consider [member constraints][m_c], which are described in [a later