Matthias Krüger 2e82d7f569 Rollup merge of #126077 - oli-obk:revert_is_mir_available, r=BoxyUwU ... Revert "Use the HIR instead of mir_keys for determining whether something will have a MIR body." This reverts commit e5cba17b84. turns out SMIR still needs it (https://github.com/model-checking/kani/issues/3218). I'll create a full plan and MCP for what I intended this to be a part of. Maybe my plan is nonsense anyway.		2024-06-07 20:14:31 +02:00
..
src	Rollup merge of #126077 - oli-obk:revert_is_mir_available, r=BoxyUwU	2024-06-07 20:14:31 +02:00
Cargo.toml	compiler: const_eval/transform/validate.rs -> mir_transform/validate.rs	2024-05-24 09:56:56 -07:00
messages.ftl	Remove MIR unsafe check	2024-04-03 08:50:12 +00:00