bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

make it possible to enable const_precise_live_drops per-function

Browse source
This commit is contained in:
Ralf Jung 2024-08-25 13:49:16 +02:00
parent 717aec0f8e
commit 5412499ad5
3 changed files with 37 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
compiler/rustc_const_eval/src/check_consts/post_drop_elaboration.rs
View file

@ -9,13 +9,19 @@ use super::check::Qualifs;
use super::ops::{self, NonConstOp};
use super::qualifs::{NeedsNonConstDrop, Qualif};
use super::ConstCx;
use crate::check_consts::rustc_allow_const_fn_unstable;
/// Returns `true` if we should use the more precise live drop checker that runs after drop
/// elaboration.
pub fn checking_enabled(ccx: &ConstCx<'_, '_>) -> bool {
// Const-stable functions must always use the stable live drop checker.
// Const-stable functions must always use the stable live drop checker...
if ccx.is_const_stable_const_fn() {
return false;
// ...except if they have the feature flag set via `rustc_allow_const_fn_unstable`.
return rustc_allow_const_fn_unstable(
ccx.tcx,
ccx.body.source.def_id().expect_local(),
sym::const_precise_live_drops,
);
}
ccx.tcx.features().const_precise_live_drops