mirror of
https://github.com/rust-lang/rust.git
synced 2024-11-25 16:24:46 +00:00
const fn stability checking: also check declared language features
This commit is contained in:
parent
bf662eb808
commit
c2984179d9
@ -868,9 +868,7 @@ impl<'tcx> Visitor<'tcx> for Checker<'_, 'tcx> {
|
|||||||
// Calling an unstable function *always* requires that the corresponding gate
|
// Calling an unstable function *always* requires that the corresponding gate
|
||||||
// (or implied gate) be enabled, even if the function has
|
// (or implied gate) be enabled, even if the function has
|
||||||
// `#[rustc_allow_const_fn_unstable(the_gate)]`.
|
// `#[rustc_allow_const_fn_unstable(the_gate)]`.
|
||||||
let gate_declared = |gate| {
|
let gate_declared = |gate| tcx.features().declared(gate);
|
||||||
tcx.features().declared_lib_features.iter().any(|&(sym, _)| sym == gate)
|
|
||||||
};
|
|
||||||
let feature_gate_declared = gate_declared(gate);
|
let feature_gate_declared = gate_declared(gate);
|
||||||
let implied_gate_declared = implied_by.is_some_and(gate_declared);
|
let implied_gate_declared = implied_by.is_some_and(gate_declared);
|
||||||
if !feature_gate_declared && !implied_gate_declared {
|
if !feature_gate_declared && !implied_gate_declared {
|
||||||
|
@ -3089,10 +3089,7 @@ impl<'tcx> TyCtxt<'tcx> {
|
|||||||
Some(stability) if stability.is_const_unstable() => {
|
Some(stability) if stability.is_const_unstable() => {
|
||||||
// has a `rustc_const_unstable` attribute, check whether the user enabled the
|
// has a `rustc_const_unstable` attribute, check whether the user enabled the
|
||||||
// corresponding feature gate.
|
// corresponding feature gate.
|
||||||
self.features()
|
self.features().declared(stability.feature)
|
||||||
.declared_lib_features
|
|
||||||
.iter()
|
|
||||||
.any(|&(sym, _)| sym == stability.feature)
|
|
||||||
}
|
}
|
||||||
// functions without const stability are either stable user written
|
// functions without const stability are either stable user written
|
||||||
// const fn or the user is using feature gates and we thus don't
|
// const fn or the user is using feature gates and we thus don't
|
||||||
|
20
tests/ui/consts/min_const_fn/const-fn-lang-feature.rs
Normal file
20
tests/ui/consts/min_const_fn/const-fn-lang-feature.rs
Normal file
@ -0,0 +1,20 @@
|
|||||||
|
//! Ensure that we can use a language feature with a `const fn`:
|
||||||
|
//! enabling the feature gate actually lets us call the function.
|
||||||
|
//@ check-pass
|
||||||
|
|
||||||
|
#![feature(staged_api, abi_unadjusted)]
|
||||||
|
#![stable(feature = "rust_test", since = "1.0.0")]
|
||||||
|
|
||||||
|
#[unstable(feature = "abi_unadjusted", issue = "42")]
|
||||||
|
#[rustc_const_unstable(feature = "abi_unadjusted", issue = "42")]
|
||||||
|
const fn my_fun() {}
|
||||||
|
|
||||||
|
#[unstable(feature = "abi_unadjusted", issue = "42")]
|
||||||
|
#[rustc_const_unstable(feature = "abi_unadjusted", issue = "42")]
|
||||||
|
const fn my_fun2() {
|
||||||
|
my_fun()
|
||||||
|
}
|
||||||
|
|
||||||
|
fn main() {
|
||||||
|
const { my_fun2() };
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user