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 6e89fc4127
commit e35073f93c
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