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: Who? Me?! <mark-i-m@users.noreply.github.com>
This commit is contained in:
Niko Matsakis 2019-06-24 14:35:59 -04:00 committed by Who? Me?!
parent 75097b255c
commit ddf257ac37
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

@ -59,7 +59,7 @@ A liveness constraint `R live at E` is satisfied if `E` is a member of
`Values(R)`. So to "apply" such a constraint to `Values`, we just have
to compute `Values(R) = Values(R) union {E}`.
The liveness values are computed in the type-check and passes to the
The liveness values are computed in the type-check and passed to the
region inference upon creation in the `liveness_constraints` argument.
These are not represented as individual constraints like `R live at E`
though; instead, we store a (sparse) bitset per region variable (of