Matthias Krüger
7ed5d469e8
Rollup merge of #125711 - oli-obk:const_block_ice2, r=Nadrieril
...
Make `body_owned_by` return the `Body` instead of just the `BodyId`
fixes #125677
Almost all `body_owned_by` callers immediately called `body`, too, so just return `Body` directly.
This makes the inline-const query feeding more robust, as all calls to `body_owned_by` will now yield a body for inline consts, too.
I have not yet figured out a good way to make `tcx.hir().body()` return an inline-const body, but that can be done as a follow-up
2024-05-30 10:23:07 +02:00
..
2024-05-02 19:48:29 +02:00
2024-05-21 19:22:04 +02:00
2024-05-29 21:55:24 +03:00
2024-04-29 10:21:54 +10:00
2024-05-28 13:38:43 +00:00
2024-05-26 15:28:26 -07:00
2024-05-28 13:38:43 +00:00
2024-05-21 20:16:39 +00:00
2024-05-29 10:04:08 +00:00
2024-05-23 07:41:18 +02:00
2024-05-29 03:25:07 +01:00
2024-05-23 23:39:26 +02:00
2024-05-29 20:12:32 +02:00
2024-05-29 03:25:07 +01:00
2024-05-29 03:25:09 +01:00
2024-05-11 08:00:15 +02:00
2024-05-29 10:04:08 +00:00
2024-05-13 07:53:38 +10:00
2024-05-27 08:44:12 +00:00
2024-05-27 08:44:12 +00:00
2024-05-27 13:10:35 +02:00
2024-05-22 04:14:08 +00:00
2024-04-24 14:35:02 +00:00
2024-05-30 10:23:07 +02:00
2024-05-30 10:23:07 +02:00
2024-05-28 13:38:43 +00:00
2024-05-29 10:04:08 +00:00
2024-05-24 15:17:21 +10:00
2024-04-18 15:36:25 +10:00
2024-04-03 19:06:22 +03:00
2024-05-30 10:23:07 +02:00
2024-05-29 20:12:32 +02:00
2024-04-24 09:41:44 +02:00
2024-05-30 10:23:07 +02:00
2024-05-27 13:10:34 +02:00
2024-05-23 14:58:30 -04:00
2024-05-21 10:54:36 +02:00
2024-05-27 08:44:12 +00:00
2024-05-29 10:04:08 +00:00
2024-05-29 10:04:08 +00:00
2024-05-30 10:23:07 +02:00
2024-05-23 18:02:40 +10:00
2024-05-29 10:04:08 +00:00
2024-05-24 21:53:39 -04:00
2024-05-21 17:00:45 -04:00
2024-05-28 13:38:43 +00:00
2024-04-18 15:36:25 +10:00
2024-05-29 10:04:08 +00:00
2024-05-23 04:08:35 +02:00
2024-05-29 10:04:08 +00:00
2024-05-13 08:20:18 +10:00
2024-05-21 20:12:29 -04:00
2024-05-29 20:12:34 +02:00
2024-05-18 18:12:18 +02:00
2024-05-21 20:12:30 -04:00
2024-05-29 20:12:32 +02:00
2024-05-28 09:28:51 -07:00
2024-05-29 14:28:53 -04:00
2024-05-17 18:33:37 -03:00
2024-05-28 18:04:31 +02:00
2024-05-30 10:23:07 +02:00
2024-05-13 11:59:42 -04:00
2024-05-01 15:57:33 +02:00
2024-05-30 10:23:07 +02:00
2024-05-28 11:10:11 -04:00
2024-05-11 18:20:00 -04:00
2024-05-28 09:28:51 -07:00