Error code E0517

A #[repr(..)] attribute was placed on an unsupported item.

Examples of erroneous code:

#![allow(unused)] fn main() { #[repr(C)] type Foo = u8; #[repr(packed)] enum Foo {Bar, Baz} #[repr(u8)] struct Foo {bar: bool, baz: bool} #[repr(C)] impl Foo { // ... } }
  • The #[repr(C)] attribute can only be placed on structs and enums.
  • The #[repr(packed)] and #[repr(simd)] attributes only work on structs.
  • The #[repr(u8)], #[repr(i16)], etc attributes only work on enums.

These attributes do not work on typedefs, since typedefs are just aliases.

Representations like #[repr(u8)], #[repr(i64)] are for selecting the discriminant size for enums. For enums with no data fields on any of the variants, e.g. enum Color {Red, Blue, Green}, this effectively sets the size of the enum to the size of the provided type. Such an enum can be cast to a value of the same type as well. In short, #[repr(u8)] makes a field-less enum behave like an integer with a constrained set of allowed values.

For a description of how #[repr(C)] and representations like #[repr(u8)] affect the layout of enums with data fields, see RFC 2195.

Only field-less enums can be cast to numerical primitives. Representations like #[repr(u8)] will not apply to structs.

#[repr(packed)] reduces padding to make the struct size smaller. The representation of enums isn't strictly defined in Rust, and this attribute won't work on enums.

#[repr(simd)] will give a struct consisting of a homogeneous series of machine types (i.e., u8, i32, etc) a representation that permits vectorization via SIMD. This doesn't make much sense for enums since they don't consist of a single list of data.