diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-06-07 20:14:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-06-07 20:14:31 +0200 |
| commit | 2e82d7f569f09ffa423be04245b9ec56c5f1d013 (patch) | |
| tree | f36321d8c09e15971cc9d3395479c929004a156a /tests/codegen/patchable-function-entry | |
| parent | 4aceaaa7f33fe0c4ad8d0b04e8c9bc8d0e76c962 (diff) | |
| parent | 946185236349039b66da84cc95cfdc2fa3b3889d (diff) | |
| download | rust-2e82d7f569f09ffa423be04245b9ec56c5f1d013.tar.gz rust-2e82d7f569f09ffa423be04245b9ec56c5f1d013.zip | |
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 e5cba17b84bf7bf755686e8bb36aa3775ef53f77. 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.
Diffstat (limited to 'tests/codegen/patchable-function-entry')
0 files changed, 0 insertions, 0 deletions