File tree Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Expand file tree Collapse file tree 1 file changed +4
-4
lines changed Original file line number Diff line number Diff line change 1515// /
1616// / Interior liveness handles the following cases naturally:
1717// /
18- // / When completing the lifetime if the initial value, %v1, transitively
19- // / include all dominated reborrows. %phi1 in this example:
18+ // / When completing the lifetime of the initial value, %v1, transitively
19+ // / include all uses of dominated reborrows as, such as %phi1 in this example:
2020// /
2121// / %v1 = ...
2222// / cond_br bb1, bb2
3131// / end_borrow %phi1
3232// / %k1 = destroy_value %v1 // must be below end_borrow %phi1
3333// /
34- // / When completing the lifetime for a (%phi2) transitively include all inner
35- // / adjacent reborrows ( %phi1) :
34+ // / When completing the lifetime for a phi (%phi2) transitively include all
35+ // / uses of inner adjacent reborrows, such as %phi1 in this example :
3636// /
3737// / bb1:
3838// / %v1 = ...
You can’t perform that action at this time.
0 commit comments