]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #56012 - RalfJung:unsafe-cell, r=nikomatsakis
authorPietro Albini <pietro@pietroalbini.org>
Sun, 18 Nov 2018 22:24:57 +0000 (23:24 +0100)
committerkennytm <kennytm@gmail.com>
Mon, 19 Nov 2018 14:06:37 +0000 (22:06 +0800)
avoid shared ref in UnsafeCell::get

Avoid taking a shared reference in `UnsafeCell::get`. This *should* be taking a raw reference (see https://github.com/rust-lang/rfcs/pull/2582), but that operation is not currently available, so I propose we exploit `repr(transparent)` instead and cast the pointer around.

This is required to make `UnsafeCell::get` pass the [stacked borrows implementation](https://www.ralfj.de/blog/2018/11/16/stacked-borrows-implementation.html) in miri (currently, `UnsafeCell::get` is on a whitelist, but that is of course not very satisfying). It shouldn't affect normal execution/codegen. Would be great if we could get this landed and shrink miri's whitelist!

Cc @nikomatsakis


Trivial merge