Matthias Krüger 3e5be57de8
Rollup merge of #101111 - saethlin:better-fnentry-spans, r=RalfJung ...
Use the declaration's SourceInfo for FnEntry retags, not the outermost
This addresses a long-standing `// FIXME` in the pass that adds retags.
The changes to Miri's UI tests will look like this:
```
--> $DIR/aliasing_mut1.rs:LL:CC
|
LL | pub fn safe(_x: &mut i32, _y: &mut i32) {}
< | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ not granting access to tag <TAG> because incompatible item [Unique for <TAG>] is protected by call ID
> | ^^ not granting access to tag <TAG> because incompatible item [Unique for <TAG>] is protected by call ID
|
```
r? ````@RalfJung````
2022-08-29 06:34:48 +02:00
2022-08-18 19:29:02 +01:00
2022-08-21 16:54:07 +02:00
2022-08-26 09:51:46 +09:00
2022-08-26 15:56:21 -07:00
2022-08-25 08:50:54 +09:00
2022-08-18 19:29:02 +01:00
2022-08-27 15:22:08 +09:00
2022-08-29 06:34:43 +02:00
2022-08-28 18:31:08 +00:00
2022-08-29 06:34:43 +02:00
2022-08-28 01:34:47 +00:00
2022-08-28 09:35:22 +02:00
2022-08-29 06:34:43 +02:00
2022-08-29 06:34:46 +02:00
2022-08-22 18:08:46 +08:00
2022-08-25 19:04:00 +02:00
2022-08-23 21:14:12 -05:00
2022-08-29 06:34:45 +02:00
2022-08-24 06:50:44 +09:00
2022-08-23 16:56:24 +10:00
2022-08-27 17:36:13 +02:00
2022-08-18 19:29:02 +01:00
2022-08-18 19:29:02 +01:00
2022-08-26 21:38:20 +02:00
2022-08-18 19:29:02 +01:00
2022-08-18 19:29:02 +01:00
2022-08-29 06:34:45 +02:00
2022-08-25 08:50:58 +09:00
2022-08-18 19:29:02 +01:00
2022-08-26 15:56:25 -07:00
2022-08-27 13:14:16 +09:00
2022-08-21 07:19:49 +00:00
2022-08-18 19:29:02 +01:00
2022-08-29 06:34:47 +02:00
2022-08-26 09:15:35 -07:00
2022-08-29 06:34:44 +02:00
2022-08-29 06:34:43 +02:00
2022-08-29 06:34:43 +02:00
2022-08-29 06:34:48 +02:00
2022-08-26 14:27:08 +02:00
2022-08-28 18:31:08 +00:00
2022-08-21 20:21:45 +00:00
2022-08-29 06:34:47 +02:00
2022-08-22 16:35:05 +01:00
2022-08-27 22:34:18 +03:00
2022-08-27 08:53:24 +00:00
2022-08-24 09:42:12 +08:00
2022-08-28 18:31:08 +00:00
2022-08-24 06:50:16 +09:00
2022-08-25 20:19:49 +00:00
2022-08-27 03:19:12 +00:00
2022-08-18 19:29:02 +01:00
2022-08-28 01:34:47 +00:00
2022-08-26 10:29:40 +10:00
2022-08-27 14:00:53 +00:00
2022-08-29 06:34:44 +02:00
2022-08-18 19:29:02 +01:00
2022-08-26 09:51:44 +09:00
2022-08-29 06:34:43 +02:00
2022-08-18 13:33:03 -04:00
2022-08-28 18:31:08 +00:00
3e5be57de8