diff options
| author | Jubilee Young <workingjubilee@gmail.com> | 2024-05-31 18:48:42 -0700 |
|---|---|---|
| committer | Jubilee Young <workingjubilee@gmail.com> | 2024-07-22 14:54:36 -0700 |
| commit | 3fdd8d5ef3a8b26c3e24d9baf706fc7fb16717f9 (patch) | |
| tree | 32a432fa477f9a67331bb7767e4ad848604aabad /tests/coverage/branch/lazy-boolean.coverage | |
| parent | ada5e2c7b5427a591e30baeeee2698a5eb6db0bd (diff) | |
| download | rust-3fdd8d5ef3a8b26c3e24d9baf706fc7fb16717f9.tar.gz rust-3fdd8d5ef3a8b26c3e24d9baf706fc7fb16717f9.zip | |
compiler: treat `&raw (const|mut) UNSAFE_STATIC` implied deref as safe
The implied deref to statics introduced by HIR->THIR lowering is only
used to create place expressions, it lacks unsafe semantics.
It is also confusing, as there is no visible `*ident` in the source.
For both classes of "unsafe static" (extern static and static mut)
allow this operation.
We lack a clear story around `thread_local! { static mut }`, which
is actually its own category of item that reuses the static syntax but
has its own rules. It's possible they should be similarly included, but
in the absence of a good reason one way or another, we do not bless it.
Diffstat (limited to 'tests/coverage/branch/lazy-boolean.coverage')
0 files changed, 0 insertions, 0 deletions