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 15
15
// /
16
16
// / Interior liveness handles the following cases naturally:
17
17
// /
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:
20
20
// /
21
21
// / %v1 = ...
22
22
// / cond_br bb1, bb2
31
31
// / end_borrow %phi1
32
32
// / %k1 = destroy_value %v1 // must be below end_borrow %phi1
33
33
// /
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 :
36
36
// /
37
37
// / bb1:
38
38
// / %v1 = ...
You can’t perform that action at this time.
0 commit comments