]> git.lizzy.rs Git - rust.git/commit
Change PinMut::map to be able to preserve the original reference's lifetime
authorRalf Jung <post@ralfj.de>
Mon, 7 May 2018 10:51:59 +0000 (12:51 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 7 May 2018 10:51:59 +0000 (12:51 +0200)
commit84ce206db6a1b452c3277963e8eafd99baba0668
treeb58384b0979ae2a3be7fc40ee9133062a8f5a7f9
parent9f26376281035fde5bf332a4326fadcdb48b7ef7
Change PinMut::map to be able to preserve the original reference's lifetime

Suggested by @dylanede at <https://github.com/rust-lang/rust/issues/49150#issuecomment-381071442>.
src/libcore/mem.rs