Matthias Krüger 7d7004d3e6
Rollup merge of #116421 - Urgau:inter-mut-invalid_ref_casting, r=oli-obk ...
Clarify `invalid_reference_casting` lint around interior mutable types
This is PR intends to clarify the `invalid_reference_casting` lint around interior mutable types by adding a note for them saying that they should go through `UnsafeCell::get`.
So for this code:
```rust
let cell = &std::cell::UnsafeCell::new(0);
let _num = &mut *(cell as *const _ as *mut i32);
```
the following note will be added to the lint output:
```diff
error: casting `&T` to `&mut T` is undefined behavior, even if the reference is unused, consider instead using an `UnsafeCell`
--> $DIR/reference_casting.rs:68:16
|
LL | let _num = &mut *(cell as *const _ as *mut i32);
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
= note: for more information, visit <https://doc.rust-lang.org/book/ch15-05-interior-mutability.html >
+ = note: even for types with interior mutability, the only legal way to obtain a mutable pointer from a shared reference is through `UnsafeCell::get`
```
Suggestion are welcome around the note contents.
Fixes https://github.com/rust-lang/rust/issues/116410
cc `@RalfJung`
2023-10-06 06:23:48 +02:00
2023-09-29 22:27:52 +02:00
2023-10-05 01:04:41 +00:00
2023-07-24 16:29:58 +02:00
2023-08-03 10:34:57 +00:00
2023-08-30 15:09:40 -07:00
2023-08-04 13:17:39 +02:00
2023-09-21 22:20:58 +02:00
2023-10-05 19:24:35 +02:00
2023-10-05 01:04:41 +00:00
2023-10-05 19:24:35 +02:00
2023-10-05 01:04:41 +00:00
2023-10-05 19:24:35 +02:00
2023-09-01 06:36:02 +05:30
2023-10-03 19:12:00 +00:00
2023-09-19 12:48:40 +00:00
2023-08-01 10:08:17 +02:00
2023-10-04 21:09:54 +00:00
2023-10-05 01:04:41 +00:00
2023-08-28 03:16:48 -07:00
2023-09-14 23:21:39 +02:00
2023-09-22 18:57:27 +03:00
2023-10-05 01:04:41 +00:00
2023-09-21 17:31:25 +02:00
2023-09-21 22:20:58 +02:00
2023-10-04 21:09:54 +00:00
2023-10-04 08:01:11 +08:00
2023-10-04 21:09:54 +00:00
2023-09-21 22:20:58 +02:00
2023-09-21 08:17:58 +02:00
2023-07-26 00:05:00 +08:00
2023-10-04 21:09:54 +00:00
2023-10-05 01:04:41 +00:00
2023-09-21 22:20:58 +02:00
2023-09-19 05:42:23 +00:00
2023-10-05 01:04:41 +00:00
2023-08-02 18:51:50 +02:00
2023-10-05 19:24:35 +02:00
2023-10-05 01:04:41 +00:00
2023-09-10 21:20:36 +00:00
2023-08-22 00:00:00 +00:00
2023-07-18 21:53:34 -04:00
2023-10-04 08:01:11 +08:00
2023-10-04 18:12:20 +11:00
2023-10-05 01:04:41 +00:00
2023-09-08 12:46:06 +01:00
2023-07-17 22:06:32 +00:00
2023-10-05 01:04:41 +00:00
2023-07-24 12:25:05 +01:00
2023-10-04 21:36:04 +02:00
2023-09-19 12:48:40 +00:00
2023-09-06 12:09:29 +03:00
2023-07-22 19:57:35 +02:00
2023-09-10 21:20:36 +00:00
2023-10-05 01:04:41 +00:00
2023-09-10 21:20:36 +00:00
2023-09-19 18:15:23 +02:00
2023-10-05 01:04:41 +00:00
2023-09-15 14:24:58 +00:00
2023-09-13 15:00:31 +00:00
2023-09-25 22:33:15 +02:00
2023-09-20 18:50:40 +02:00
2023-10-05 19:24:35 +02:00
2023-09-06 18:55:45 +02:00
2023-09-19 18:15:23 +02:00
2023-08-07 19:06:18 +00:00
2023-09-27 18:05:14 +10:00
2023-08-26 01:07:05 +00:00
2023-09-21 22:20:58 +02:00
2023-09-23 13:47:30 +00:00
2023-10-05 01:04:41 +00:00
2023-10-02 23:14:29 +00:00
2023-09-22 22:41:01 -07:00
2023-07-27 10:17:01 +02:00
2023-10-05 01:04:41 +00:00
2023-07-29 11:42:50 +02:00
2023-10-05 19:24:35 +02:00
2023-09-05 11:15:05 +02:00
2023-10-05 01:04:41 +00:00
2023-10-02 23:14:29 +00:00
2023-08-28 17:17:11 +00:00
2023-08-30 11:55:03 +00:00
2023-09-21 09:00:22 +00:00
2023-08-15 01:03:09 +00:00
2023-09-25 22:33:15 +02:00
2023-08-05 01:38:14 +08:00
2023-10-05 19:24:35 +02:00
2023-10-02 23:14:29 +00:00
2023-09-21 22:20:58 +02:00
2023-10-04 21:09:54 +00:00
2023-09-11 21:16:22 +02:00
2023-08-26 20:10:19 +00:00
2023-07-29 08:47:21 +08:00
2023-10-05 01:04:41 +00:00
2023-10-05 01:04:41 +00:00
2023-09-01 14:08:31 -07:00
2023-10-06 06:23:48 +02:00
2023-10-04 21:09:54 +00:00
2023-08-07 15:59:15 -07:00
2023-10-05 01:04:41 +00:00
2023-10-05 01:04:41 +00:00
2023-09-25 19:05:10 +02:00
2023-09-21 22:20:58 +02:00
2023-09-13 15:00:31 +00:00
2023-10-04 21:09:54 +00:00
2023-07-19 23:48:43 +00:00
2023-08-28 17:47:37 -03:00
2023-08-28 03:16:48 -07:00
2023-09-10 21:20:36 +00:00
2023-10-05 01:04:41 +00:00
2023-10-02 23:14:29 +00:00
2023-10-05 01:04:41 +00:00
2023-07-29 11:42:50 +02:00
2023-10-05 01:04:41 +00:00
2023-10-04 21:09:54 +00:00
2023-10-02 23:14:29 +00:00
2023-10-02 19:12:42 +02:00
2023-09-22 19:47:41 +00:00
2023-09-29 14:24:40 +02:00
2023-10-05 19:24:35 +02:00
2023-10-05 01:04:41 +00:00
2023-07-28 14:44:03 +00:00
2023-09-28 16:13:38 +00:00
2023-09-21 22:20:58 +02:00
2023-10-05 01:04:41 +00:00
2023-10-05 19:24:35 +02:00
2023-07-29 11:47:26 +02:00
2023-09-06 09:05:07 +05:30
2023-09-19 18:15:23 +02:00
2023-09-21 22:20:58 +02:00
2023-10-05 01:04:41 +00:00
2023-10-05 01:04:41 +00:00
2023-10-05 01:04:41 +00:00
2023-10-02 16:09:42 -04:00
2023-10-04 21:09:54 +00:00
2023-10-05 01:04:41 +00:00
2023-08-30 20:43:31 +02:00
2023-10-05 01:04:41 +00:00
2023-10-05 01:04:41 +00:00
2023-10-03 16:24:15 +02:00
2023-09-18 15:10:28 +00:00
2023-07-21 22:35:57 -07:00
2023-10-02 19:12:42 +02:00
2023-09-23 00:57:17 +00:00
2023-08-06 13:34:53 +00:00
2023-08-30 15:09:40 -07:00
2023-08-28 03:16:48 -07:00
2023-09-22 23:12:38 +02:00
2023-08-14 16:57:51 -07:00
2023-08-28 03:16:48 -07:00
2023-10-02 23:14:29 +00:00
2023-09-25 22:33:15 +02:00
2023-10-05 19:24:35 +02:00
2023-09-23 13:47:30 +00:00
2023-08-15 00:57:18 +08:00
2023-09-01 12:40:01 +00:00
2023-09-18 17:29:13 +01:00
2023-07-29 11:42:50 +02:00
2023-10-05 01:04:41 +00:00
2023-08-24 15:51:25 +02:00
2023-09-10 21:20:36 +00:00
2023-10-05 19:42:05 +00:00
2023-08-02 13:40:28 +03:00
2023-09-06 06:48:34 +08:00
2023-07-29 11:42:50 +02:00
2023-09-10 21:20:36 +00:00
2023-10-02 23:14:29 +00:00
2023-10-02 23:14:29 +00:00
2023-10-05 01:04:41 +00:00
2023-10-05 18:56:30 +03:00
2023-07-30 11:24:15 +02:00
2023-10-05 01:04:41 +00:00
2023-10-05 18:56:30 +03:00
2023-10-05 19:24:35 +02:00
2023-08-26 19:25:46 +00:00
2023-09-21 22:20:58 +02:00
2023-07-23 07:09:14 +00:00
2023-09-10 21:20:36 +00:00
2023-10-05 01:04:41 +00:00
2023-07-20 11:04:31 -07:00
2023-09-14 11:52:08 +00:00
2023-09-13 23:07:39 +08:00
2023-10-05 01:04:41 +00:00
2023-09-10 21:20:36 +00:00
2023-09-10 21:20:36 +00:00
2023-08-27 20:02:46 +02:00
2023-10-05 01:04:41 +00:00
2023-09-04 14:21:38 +02:00
2023-09-18 14:03:57 +00:00
2023-09-10 23:06:14 +02:00
2023-09-10 23:06:14 +02:00
2023-10-02 23:14:29 +00:00
2023-09-20 10:56:44 +03:00
2023-09-04 14:21:38 +02:00
2023-09-19 18:15:23 +02:00
2023-08-04 16:09:14 +00:00
2023-09-10 23:06:14 +02:00
2023-09-10 23:06:14 +02:00
2023-08-28 03:16:48 -07:00
2023-08-28 03:16:48 -07:00
2023-08-28 03:16:48 -07:00
2023-08-28 03:16:48 -07:00
2023-09-21 22:20:58 +02:00
2023-09-21 22:20:58 +02:00
2023-08-28 03:16:48 -07:00
2023-08-30 15:09:40 -07:00
2023-10-05 01:04:41 +00:00
2023-08-25 19:05:38 +00:00
2023-10-05 01:04:41 +00:00
2023-09-19 12:48:40 +00:00
Matthias Krüger
7d7004d3e6