Update src/borrow_check/region_inference/constraint_propagation.md
Co-Authored-By: lqd <remy.rakic+github@gmail.com>
This commit is contained in:
parent
d278281ace
commit
37aa5c8f2f
|
|
@ -178,7 +178,7 @@ easily just by taking the union:
|
||||||
|
|
||||||
```
|
```
|
||||||
for each region R:
|
for each region R:
|
||||||
let S by the SCC that contains R
|
let S be the SCC that contains R
|
||||||
Values(S) = Values(S) union Liveness(R)
|
Values(S) = Values(S) union Liveness(R)
|
||||||
```
|
```
|
||||||
|
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue