File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -2334,11 +2334,11 @@ their lifetimes ended along paths that end in program terminating
2334
2334
blocks. Operationally, this implies that:
2335
2335
2336
2336
* All SIL values must have exactly one lifetime ending use on all paths that
2337
- terminate in a `return `_ or `throw `_. In contrast, a SIL value does not need to
2338
- have a lifetime ending use along paths that end in an `unreachable `_.
2337
+ terminate in a `return `_ or `throw `_. In contrast, a SIL value does not need to
2338
+ have a lifetime ending use along paths that end in an `unreachable `_.
2339
2339
2340
2340
* `end_borrow `_ and `destroy_value `_ are redundent, albeit legal, in blocks
2341
- where all paths through the block end in an `unreachable `_.
2341
+ where all paths through the block end in an `unreachable `_.
2342
2342
2343
2343
Consider the following legal SIL where we leak ``%0 `` in blocks prefixed with
2344
2344
``bbDeadEndBlock `` and consume it in ``bb2 ``::
You can’t perform that action at this time.
0 commit comments