mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Make allow_internal_unstable work with stmt_expr_attributes

Browse Source
This commit is contained in:
Jules Bertholet 2023-10-30 21:16:23 -04:00
parent a395214a3a
commit 42b1406d9e
No known key found for this signature in database
GPG Key ID: 32034DAFC38C1BFC
3 changed files with 17 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
compiler/rustc_expand/src/config.rs
View File

@ -449,7 +449,9 @@ pub(crate) fn cfg_true(&self, attr: &Attribute) -> (bool, Option<MetaItem>) {
/// If attributes are not allowed on expressions, emit an error for `attr`
#[instrument(level = "trace", skip(self))]
pub(crate) fn maybe_emit_expr_attr_err(&self, attr: &Attribute) {
if self.features.is_some_and(|features| !features.stmt_expr_attributes) {
if self.features.is_some_and(|features| !features.stmt_expr_attributes)
&& !attr.span.allows_unstable(sym::stmt_expr_attributes)
{
let mut err = feature_err(
&self.sess.parse_sess,
sym::stmt_expr_attributes,

10
tests/ui/internal/internal-unstable.rs
View File

@ -28,6 +28,14 @@ macro_rules! bar {
}}
}
#[allow_internal_unstable(stmt_expr_attributes)]
macro_rules! internal_attr {
($e: expr) => {
#[allow(overflowing_literals)]
$e
}
}
fn main() {
// ok, the instability is contained.
call_unstable_allow!();
@ -51,4 +59,6 @@ fn main() {
#[allow_internal_unstable]
_ => {}
}
assert_eq!(internal_attr!(1e100_f32), f32::INFINITY);
}

8
tests/ui/internal/internal-unstable.stderr
View File

@ -1,5 +1,5 @@
error[E0658]: use of unstable library feature 'function'
--> $DIR/internal-unstable.rs:40:25
--> $DIR/internal-unstable.rs:48:25
|
LL | pass_through_allow!(internal_unstable::unstable());
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
@ -7,7 +7,7 @@ LL | pass_through_allow!(internal_unstable::unstable());
= help: add `#![feature(function)]` to the crate attributes to enable
error[E0658]: use of unstable library feature 'function'
--> $DIR/internal-unstable.rs:42:27
--> $DIR/internal-unstable.rs:50:27
|
LL | pass_through_noallow!(internal_unstable::unstable());
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
@ -15,7 +15,7 @@ LL | pass_through_noallow!(internal_unstable::unstable());
= help: add `#![feature(function)]` to the crate attributes to enable
error[E0658]: use of unstable library feature 'function'
--> $DIR/internal-unstable.rs:46:22
--> $DIR/internal-unstable.rs:54:22
|
LL | println!("{:?}", internal_unstable::unstable());
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^
@ -23,7 +23,7 @@ LL | println!("{:?}", internal_unstable::unstable());
= help: add `#![feature(function)]` to the crate attributes to enable
error[E0658]: use of unstable library feature 'function'
--> $DIR/internal-unstable.rs:48:10
--> $DIR/internal-unstable.rs:56:10
|
LL | bar!(internal_unstable::unstable());
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^