bors
f0b67dd97d
Auto merge of #139598 - compiler-errors:no-bound-var-symbol, r=WaffleLapkin
...
Remove `Symbol` from `Named` variant of `BoundRegionKind`/`LateParamRegionKind`
The `Symbol` is redundant, since we already store a `DefId` in the region variant. Instead, load the name via `item_name` when needed (which is almost always on the diagnostic path).
This introduces a `BoundRegionKind::NamedAnon` which is used for giving anonymous bound regions names, but which should only be used during pretty printing and error reporting.
2025-07-05 06:29:56 +00:00
..
2025-07-03 20:03:49 +00:00
2025-04-19 01:13:18 +00:00
2025-07-04 05:47:27 +02:00
2025-07-04 05:47:27 +02:00
2025-07-04 05:47:27 +02:00
2025-07-01 19:00:21 +00:00
2025-07-04 20:30:42 +02:00
2025-07-04 20:30:42 +02:00
2025-07-04 18:26:09 +00:00
2025-07-04 05:47:27 +02:00
2025-07-03 10:52:21 -07:00
2025-07-03 10:52:21 -07:00
2025-07-04 16:22:36 +02:00
2025-07-03 22:53:19 -07:00
2025-07-03 13:29:36 +02:00
2025-07-05 00:12:10 +02:00
2025-04-02 16:25:27 +11:00
2025-06-30 20:49:40 +02:00
2025-06-25 00:52:10 -07:00
2025-06-28 23:36:46 +00:00
2025-07-04 16:22:37 +02:00
2025-07-05 00:12:11 +02:00
2025-07-02 17:18:47 +00:00
2025-06-08 14:50:42 +00:00
2025-04-25 11:28:36 +00:00
2025-07-03 20:03:49 +00:00
2025-07-05 06:29:56 +00:00
2025-07-01 19:00:21 +00:00
2025-07-04 05:47:28 +02:00
2025-05-07 12:39:54 +00:00
2025-06-04 00:47:12 +02:00
2025-04-12 11:53:07 +00:00
2025-07-04 18:26:09 +00:00
2025-07-04 14:02:17 +00:00
2025-07-03 10:51:06 +03:00
2025-07-04 18:26:09 +00:00
2025-07-03 10:51:06 +03:00
2025-05-31 15:47:14 +02:00
2025-06-12 12:11:15 +02:00
2025-07-03 13:29:35 +02:00
2025-07-04 14:02:18 +00:00
2025-07-05 06:29:56 +00:00
2025-07-04 01:28:35 -07:00
2025-06-29 20:39:13 +08:00
2025-07-03 23:17:03 +00:00
2025-07-03 10:51:06 +03:00
2025-07-03 10:51:06 +03:00
2025-07-04 20:30:42 +02:00
2025-06-23 06:36:22 +00:00
2025-07-04 20:30:42 +02:00
2025-07-04 01:28:35 -07:00
2025-05-30 02:23:20 +10:00
2025-06-23 06:36:22 +00:00
2025-07-04 14:02:17 +00:00
2025-07-03 10:51:06 +03:00
2025-07-04 20:30:42 +02:00
2025-07-01 19:00:21 +00:00
2025-07-03 10:51:06 +03:00
2025-07-04 16:22:37 +02:00
2025-07-04 18:26:09 +00:00
2025-07-03 20:03:49 +00:00
2025-07-01 19:00:21 +00:00
2025-07-03 13:29:35 +02:00
2025-06-16 12:27:47 -07:00
2025-07-04 18:26:09 +00:00
2025-07-02 00:33:06 +00:00
2025-06-27 17:04:33 +02:00
2025-07-03 13:29:35 +02:00
2025-07-03 10:51:06 +03:00
2025-04-15 18:30:35 +00:00
2025-04-30 15:39:52 -07:00