bors
e9dc753b7b
Auto merge of #115748 - RalfJung:post-mono, r=oli-obk
...
move required_consts check to general post-mono-check function
This factors some code that is common between the interpreter and the codegen backends into shared helper functions. Also as a side-effect the interpreter now uses the same `eval` functions as everyone else to get the evaluated MIR constants.
Also this is in preparation for another post-mono check that will be needed for (the current hackfix for) https://github.com/rust-lang/rust/issues/115709 : ensuring that all locals are dynamically sized.
I didn't expect this to change diagnostics, but it's just cycle errors that change.
r? `@oli-obk`
2023-09-18 19:41:21 +00:00
..
2023-08-24 21:32:12 +02:00
2023-08-04 13:17:39 +02:00
2023-09-12 18:44:06 +02:00
2023-09-13 07:29:34 +02:00
2023-09-12 18:44:06 +02:00
2023-07-02 14:59:02 +02:00
2023-09-12 18:44:06 +02:00
2023-07-17 10:22:32 +02:00
2023-07-28 22:21:41 +02:00
2023-08-14 21:43:56 +00:00
2023-09-14 07:27:30 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-08-24 21:32:12 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-06-02 11:41:57 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-07-14 13:27:35 +01:00
2023-09-12 18:44:06 +02:00
2023-09-12 18:44:06 +02:00
2023-09-14 07:34:35 +00:00
2023-09-12 18:44:06 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-04-11 15:31:08 +02:00
2023-09-14 17:52:36 +00:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-08-24 21:32:12 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-07-02 14:59:02 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-08-11 14:05:13 +02:00
2023-08-24 21:32:12 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-07-02 14:59:02 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 21:04:12 +00:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-09-12 18:44:06 +02:00
2023-07-17 10:22:32 +02:00
2023-05-20 15:39:26 +02:00
2023-07-14 13:27:35 +01:00
2023-09-12 18:44:06 +02:00
2023-08-04 13:17:39 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-08-07 15:54:31 +02:00
2023-07-17 10:22:32 +02:00
2023-04-11 15:31:08 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-28 22:21:41 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-06-02 11:41:57 +02:00
2023-08-24 21:32:12 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-02 14:59:02 +02:00
2023-09-12 18:44:06 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-05-05 17:45:49 +02:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-08-11 14:05:13 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-07-17 10:22:32 +02:00
2023-08-24 21:32:12 +02:00
2023-07-14 13:27:35 +01:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-04-11 15:31:08 +02:00
2023-07-31 23:53:53 +02:00
2023-07-02 14:59:02 +02:00
2023-05-20 15:39:26 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-05-29 09:23:43 +10:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-08-09 14:17:54 +08:00
2023-05-05 17:45:49 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-08-11 14:05:13 +02:00
2023-07-17 10:22:32 +02:00
2023-04-23 13:28:56 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-08-24 21:32:12 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-08-17 18:06:36 +02:00
2023-07-31 23:53:53 +02:00
2023-08-14 21:43:56 +00:00
2023-05-05 17:45:49 +02:00
2023-08-24 21:32:12 +02:00
2023-08-04 13:17:39 +02:00
2023-09-12 18:44:06 +02:00
2023-09-14 22:30:42 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-04-23 13:28:56 +02:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-08-11 14:05:13 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-08-24 21:32:12 +02:00
2023-08-14 21:43:56 +00:00
2023-08-11 14:05:13 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-02 14:59:02 +02:00
2023-08-14 21:43:56 +00:00
2023-08-11 14:05:13 +02:00
2023-08-04 13:17:39 +02:00
2023-07-31 23:53:53 +02:00
2023-08-24 21:32:12 +02:00
2023-03-28 01:14:28 +00:00
2023-05-20 15:39:26 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-08-24 21:32:12 +02:00
2023-08-14 21:43:56 +00:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-09-12 18:44:06 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-11 15:51:19 +00:00
2023-08-11 14:05:13 +02:00
2023-08-04 13:17:39 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-05-05 17:45:49 +02:00
2023-07-02 14:59:02 +02:00
2023-08-24 21:32:12 +02:00
2023-09-12 18:44:06 +02:00
2023-05-05 17:45:49 +02:00
2023-07-14 13:27:35 +01:00
2023-09-12 18:44:06 +02:00
2023-07-14 13:27:35 +01:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-11 15:51:19 +00:00
2023-07-31 23:53:53 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-09-12 18:44:06 +02:00
2023-07-02 14:59:02 +02:00
2023-07-17 10:22:32 +02:00
2023-08-17 18:06:36 +02:00
2023-08-04 13:17:39 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-17 10:22:32 +02:00
2023-07-14 13:27:35 +01:00