bors cebb9cfd4f 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
..
intrinsics	interpret: make write functions generic over the place type	2023-07-25 22:33:58 +02:00
cast.rs	make it more clear which functions create fresh AllocId	2023-09-14 07:27:31 +02:00
discriminant.rs	Return ImmTy in discriminant_for_variant.	2023-09-11 16:29:41 +00:00
eval_context.rs	don't point at const usage site for resolution-time errors	2023-09-14 22:34:05 +02:00
intern.rs	use AllocId instead of Allocation in ConstValue::ByRef	2023-09-14 07:26:24 +02:00
intrinsics.rs	Use write_immediate.	2023-09-11 16:29:42 +00:00
machine.rs	make it more clear which functions create fresh AllocId	2023-09-14 07:27:31 +02:00
memory.rs	make it more clear which functions create fresh AllocId	2023-09-14 07:27:31 +02:00
mod.rs	interpret: make MemPlace, Place, Operand types private to the interpreter	2023-09-04 17:53:38 +02:00
operand.rs	Auto merge of #115748 - RalfJung:post-mono, r=oli-obk	2023-09-18 19:41:21 +00:00
operator.rs	inline format!() args from rustc_codegen_llvm to the end (4)	2023-07-25 23:20:28 +02:00
place.rs	make interpreter type Debug impl independent of Ty debug impl	2023-09-15 09:54:06 +02:00
projection.rs	interpret: make MemPlace, Place, Operand types private to the interpreter	2023-09-04 17:53:38 +02:00
step.rs	Return ImmTy in discriminant_for_variant.	2023-09-11 16:29:41 +00:00
terminator.rs	add helper method for finding the one non-1-ZST field	2023-09-12 20:52:05 +02:00
traits.rs	make it more clear which functions create fresh AllocId	2023-09-14 07:27:31 +02:00
util.rs	refactor(rustc_middle): Substs -> GenericArg	2023-07-14 13:27:35 +01:00
validity.rs	interpret: make MemPlace, Place, Operand types private to the interpreter	2023-09-04 17:53:38 +02:00
visitor.rs	interpret: fix projecting into an unsized field of a local	2023-08-30 13:43:34 +02:00