diff options
| author | Andreas Molzer <andreas.molzer@gmx.de> | 2020-02-27 21:24:14 +0100 |
|---|---|---|
| committer | Andreas Molzer <andreas.molzer@gmx.de> | 2020-03-04 20:09:02 +0100 |
| commit | 51b93966240acffdbe3fbb898bb647a03b146e09 (patch) | |
| tree | 3aee2221eabc28e3941797ff87083f491c46ce21 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 329022dfad7199053cbe225e8d7d13ebbd5eb230 (diff) | |
| download | rust-51b93966240acffdbe3fbb898bb647a03b146e09.tar.gz rust-51b93966240acffdbe3fbb898bb647a03b146e09.zip | |
Add unborrow to reset RefCell borrow state
This method is complementary for the feature refcell_leak added in an earlier PR. It allows reverting the effects of leaking a borrow guard by statically proving that such a guard could not longer exist. This was not added to the existing `get_mut` out of concern of impacting the complexity of the otherwise pure pointer cast and because the name `get_mut` poorly communicates the intent of resetting remaining borrows.
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions
