rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

better template for repr attributes

Browse Source
This commit is contained in:
Jana Dönszelmann
2025-06-12 13:25:37 +02:00
parent 1bb335244c
commit 815f0b71c7
3 changed files with 7 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
compiler/rustc_attr_parsing/src/attributes/repr.rs
View File

@@ -25,7 +25,8 @@ impl<S: Stage> CombineAttributeParser<S> for ReprParser {
const PATH: &[Symbol] = &[sym::repr]; const PATH: &[Symbol] = &[sym::repr];
const CONVERT: ConvertFn<Self::Item> = AttributeKind::Repr; const CONVERT: ConvertFn<Self::Item> = AttributeKind::Repr;
// FIXME(jdonszelmann): never used // FIXME(jdonszelmann): never used
const TEMPLATE: AttributeTemplate = template!(List: "C"); const TEMPLATE: AttributeTemplate =
template!(List: "C | Rust | align(...) | packed(...) | <integer type> | transparent");
fn extend<'c>( fn extend<'c>(
cx: &'c mut AcceptContext<'_, '_, S>, cx: &'c mut AcceptContext<'_, '_, S>,

4
tests/ui/issues/issue-43988.stderr
View File

@@ -38,7 +38,7 @@ LL | #[repr]
| ^^^^^^^ | ^^^^^^^
| | | |
| expected this to be a list | expected this to be a list
| help: must be of the form: `#[repr(C)]` | help: must be of the form: `#[repr(C | Rust | align(...) | packed(...) | <integer type> | transparent)]`
error[E0539]: malformed `inline` attribute input error[E0539]: malformed `inline` attribute input
--> $DIR/issue-43988.rs:30:5 --> $DIR/issue-43988.rs:30:5
@@ -64,7 +64,7 @@ LL | let _z = #[repr] 1;
| ^^^^^^^ | ^^^^^^^
| | | |
| expected this to be a list | expected this to be a list
| help: must be of the form: `#[repr(C)]` | help: must be of the form: `#[repr(C | Rust | align(...) | packed(...) | <integer type> | transparent)]`
error[E0518]: attribute should be applied to function or closure error[E0518]: attribute should be applied to function or closure
--> $DIR/issue-43988.rs:5:5 --> $DIR/issue-43988.rs:5:5

6
tests/ui/repr/repr.stderr
View File

@@ -5,7 +5,7 @@ LL | #[repr]
| ^^^^^^^ | ^^^^^^^
| | | |
| expected this to be a list | expected this to be a list
| help: must be of the form: `#[repr(C)]` | help: must be of the form: `#[repr(C | Rust | align(...) | packed(...) | <integer type> | transparent)]`
error[E0539]: malformed `repr` attribute input error[E0539]: malformed `repr` attribute input
--> $DIR/repr.rs:4:1 --> $DIR/repr.rs:4:1
@@ -14,7 +14,7 @@ LL | #[repr = "B"]
| ^^^^^^^^^^^^^ | ^^^^^^^^^^^^^
| | | |
| expected this to be a list | expected this to be a list
| help: must be of the form: `#[repr(C)]` | help: must be of the form: `#[repr(C | Rust | align(...) | packed(...) | <integer type> | transparent)]`
error[E0539]: malformed `repr` attribute input error[E0539]: malformed `repr` attribute input
--> $DIR/repr.rs:7:1 --> $DIR/repr.rs:7:1
@@ -23,7 +23,7 @@ LL | #[repr = "C"]
| ^^^^^^^^^^^^^ | ^^^^^^^^^^^^^
| | | |
| expected this to be a list | expected this to be a list
| help: must be of the form: `#[repr(C)]` | help: must be of the form: `#[repr(C | Rust | align(...) | packed(...) | <integer type> | transparent)]`
error: aborting due to 3 previous errors error: aborting due to 3 previous errors