about summary refs log tree commit diff
path: root/src/test/rustdoc-ui/coverage/json.rs
diff options
context:
space:
mode:
authorAndreas Molzer <andreas.molzer@gmx.de>2020-02-27 21:24:14 +0100
committerAndreas Molzer <andreas.molzer@gmx.de>2020-03-04 20:09:02 +0100
commit51b93966240acffdbe3fbb898bb647a03b146e09 (patch)
tree3aee2221eabc28e3941797ff87083f491c46ce21 /src/test/rustdoc-ui/coverage/json.rs
parent329022dfad7199053cbe225e8d7d13ebbd5eb230 (diff)
downloadrust-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