diff options
| author | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-05-13 09:45:00 -0700 |
|---|---|---|
| committer | Dylan MacKenzie <ecstaticmorse@gmail.com> | 2020-05-19 17:52:08 -0700 |
| commit | 3ff93177cf7976c1db072cdcb4bc3f23e5f6b78c (patch) | |
| tree | 1c563f13ec3d25e9587c5f9ef4c03e91a3b79c21 /src/test/codegen/iter-fold-closure-no-iterator.rs | |
| parent | dd49c6ffd1eb2ce5919b7ce8788a55ecc4fe13b5 (diff) | |
| download | rust-3ff93177cf7976c1db072cdcb4bc3f23e5f6b78c.tar.gz rust-3ff93177cf7976c1db072cdcb4bc3f23e5f6b78c.zip | |
Document why we don't look at storage liveness
...when determining what locals are live. A local cannot be borrowed before it is `storage_live` and `MaybeBorrowedLocals` already invalidates borrows on `StorageDead`. Likewise, a local cannot be initialized before it is marked StorageLive and is marked as uninitialized after `StorageDead`.
Diffstat (limited to 'src/test/codegen/iter-fold-closure-no-iterator.rs')
0 files changed, 0 insertions, 0 deletions