init: allow nonstandard_style for generated accessor/value

CHANGELOG.md

@@ -38,6 +38,9 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - Corrected `T: Sized` bounds to `T: ?Sized` in the generated `PinnedDrop`
   check by `#[pin_data]`.
+- `init!` and `pin_init!` no longer produce `nonstandard_style` group warnings at the
+  call site when used for structs with non-snake-case field names. Warnings on the
+  struct definition are unaffected.
 
 ## [0.0.10] - 2025-08-19
 

internal/src/init.rs

@@ -245,7 +245,12 @@ fn init_fields(
                     // Setting the span of `value_ident` to `value`'s span improves error messages
                     // when the type of `value` is wrong.
                     value_ident.set_span(value.span());
-                    quote!(let #value_ident = #value;)
+                    quote! {
+                        // Allow `nonstandard_style` since the same warning is going to be reported for
+                        // the struct field.
+                        #[allow(nonstandard_style)]
+                        let #value_ident = #value;
+                    }
                 });
                 // Again span for better diagnostics
                 let write = quote_spanned!(ident.span()=> ::core::ptr::write);
@@ -273,7 +278,9 @@ fn init_fields(
                         unsafe { #write(&raw mut (*#slot).#ident, #value_ident) };
                     }
                     #(#cfgs)*
-                    #[allow(unused_variables)]
+                    // Allow `nonstandard_style` since the same warning is going to be reported for
+                    // the struct field.
+                    #[allow(unused_variables, nonstandard_style)]
                     let #ident = #accessor;
                 }
             }
@@ -325,7 +332,9 @@ fn init_fields(
                         #value_init
                     }
                     #(#cfgs)*
-                    #[allow(unused_variables)]
+                    // Allow `nonstandard_style` since the same warning is going to be reported for
+                    // the struct field.
+                    #[allow(unused_variables, nonstandard_style)]
                     let #ident = #accessor;
                 }
             }

internal/src/pin_data.rs

@@ -164,7 +164,10 @@ fn generate_unpin_impl(
     quote! {
         // This struct will be used for the unpin analysis. It is needed, because only structurally
         // pinned fields are relevant whether the struct should implement `Unpin`.
-        #[allow(dead_code)] // The fields below are never used.
+        #[allow(
+            dead_code, // The fields below are never used.
+            nonstandard_style // The warning will be emitted on the struct definition.
+        )]
         struct __Unpin #generics_with_pin_lt
         #where_token
             #predicates
@@ -302,7 +305,9 @@ fn generate_projections(
     let docs = format!(" Pin-projections of [`{ident}`]");
     quote! {
         #[doc = #docs]
-        #[allow(dead_code)]
+        // Allow `nonstandard_style` since the same warning will be emitted on
+        // the struct definition.
+        #[allow(dead_code, nonstandard_style)]
         #[doc(hidden)]
         #vis struct #projection #generics_with_pin_lt {
             #(#fields_decl)*
@@ -395,6 +400,9 @@ fn generate_the_pin_data(
             ///   to deallocate.
             #pin_safety
             #(#attrs)*
+            // Allow `nonstandard_style` since the same warning will be emitted on
+            // the struct definition.
+            #[allow(nonstandard_style)]
             #vis unsafe fn #ident<E>(
                 self,
                 slot: *mut #ty,

tests/nonstandard_style.rs

@@ -0,0 +1,50 @@
+//! Tests that no extra warnings are emitted for non-standard style fields when using `init!`
+//! or `pin_init!`.
+//!
+//! See: https://github.com/Rust-for-Linux/pin-init/issues/125
+
+// Should be implied by crate lint settings, but just to be sure:
+#![deny(nonstandard_style)]
+#![allow(dead_code)]
+#![cfg_attr(USE_RUSTC_FEATURES, feature(lint_reasons))]
+#![cfg_attr(USE_RUSTC_FEATURES, feature(raw_ref_op))]
+
+use pin_init::*;
+
+#[allow(nonstandard_style)]
+struct Foo {
+    NON_STANDARD_A: usize,
+    nonStandardB: Bar,
+}
+
+// Make sure `allow(non_snake_case)` also works.
+#[allow(non_snake_case)]
+struct Bar {
+    Non_Standard_C: usize,
+}
+
+impl Foo {
+    fn new() -> impl Init<Self> {
+        init!(Self {
+            NON_STANDARD_A: 42,
+            nonStandardB <- init!(Bar { Non_Standard_C: 42 }),
+        })
+    }
+}
+
+#[allow(nonstandard_style)]
+#[pin_data]
+struct Baz {
+    NON_STANDARD: usize,
+    #[pin]
+    nonStandardPin: usize,
+}
+
+impl Baz {
+    fn new(a: impl PinInit<usize>) -> impl PinInit<Self> {
+        pin_init!(Self {
+            NON_STANDARD: 42,
+            nonStandardPin <- a,
+        })
+    }
+}

tests/ui/expand/many_generics.expanded.rs

@@ -13,7 +13,7 @@ where
     _pin: PhantomPinned,
 }
 /// Pin-projections of [`Foo`]
-#[allow(dead_code)]
+#[allow(dead_code, nonstandard_style)]
 #[doc(hidden)]
 struct FooProjection<
     '__pin,
@@ -92,6 +92,7 @@ const _: () = {
         /// - `slot` is a valid pointer to uninitialized memory.
         /// - the caller does not touch `slot` when `Err` is returned, they are only permitted
         ///   to deallocate.
+        #[allow(nonstandard_style)]
         unsafe fn array<E>(
             self,
             slot: *mut [u8; 1024 * 1024],
@@ -113,6 +114,7 @@ const _: () = {
         /// - `slot` is a valid pointer to uninitialized memory.
         /// - the caller does not touch `slot` when `Err` is returned, they are only permitted
         ///   to deallocate.
+        #[allow(nonstandard_style)]
         unsafe fn r<E>(
             self,
             slot: *mut &'b mut [&'a mut T; SIZE],
@@ -135,6 +137,7 @@ const _: () = {
         /// - the caller does not touch `slot` when `Err` is returned, they are only permitted
         ///   to deallocate.
         /// - `slot` will not move until it is dropped, i.e. it will be pinned.
+        #[allow(nonstandard_style)]
         unsafe fn _pin<E>(
             self,
             slot: *mut PhantomPinned,
@@ -179,7 +182,7 @@ const _: () = {
     {
         type Datee = Foo<'a, 'b, T, SIZE>;
     }
-    #[allow(dead_code)]
+    #[allow(dead_code, nonstandard_style)]
     struct __Unpin<'__pin, 'a, 'b: 'a, T: Bar<'b> + ?Sized + 'a, const SIZE: usize = 0>
     where
         T: Bar<'a, 1>,

tests/ui/expand/pin-data.expanded.rs

@@ -5,7 +5,7 @@ struct Foo {
     _pin: PhantomPinned,
 }
 /// Pin-projections of [`Foo`]
-#[allow(dead_code)]
+#[allow(dead_code, nonstandard_style)]
 #[doc(hidden)]
 struct FooProjection<'__pin> {
     array: &'__pin mut [u8; 1024 * 1024],
@@ -51,6 +51,7 @@ const _: () = {
         /// - `slot` is a valid pointer to uninitialized memory.
         /// - the caller does not touch `slot` when `Err` is returned, they are only permitted
         ///   to deallocate.
+        #[allow(nonstandard_style)]
         unsafe fn array<E>(
             self,
             slot: *mut [u8; 1024 * 1024],
@@ -73,6 +74,7 @@ const _: () = {
         /// - the caller does not touch `slot` when `Err` is returned, they are only permitted
         ///   to deallocate.
         /// - `slot` will not move until it is dropped, i.e. it will be pinned.
+        #[allow(nonstandard_style)]
         unsafe fn _pin<E>(
             self,
             slot: *mut PhantomPinned,
@@ -101,7 +103,7 @@ const _: () = {
     unsafe impl ::pin_init::__internal::PinData for __ThePinData {
         type Datee = Foo;
     }
-    #[allow(dead_code)]
+    #[allow(dead_code, nonstandard_style)]
     struct __Unpin<'__pin> {
         __phantom_pin: ::core::marker::PhantomData<fn(&'__pin ()) -> &'__pin ()>,
         __phantom: ::core::marker::PhantomData<fn(Foo) -> Foo>,

tests/ui/expand/pinned_drop.expanded.rs

@@ -5,7 +5,7 @@ struct Foo {
     _pin: PhantomPinned,
 }
 /// Pin-projections of [`Foo`]
-#[allow(dead_code)]
+#[allow(dead_code, nonstandard_style)]
 #[doc(hidden)]
 struct FooProjection<'__pin> {
     array: &'__pin mut [u8; 1024 * 1024],
@@ -51,6 +51,7 @@ const _: () = {
         /// - `slot` is a valid pointer to uninitialized memory.
         /// - the caller does not touch `slot` when `Err` is returned, they are only permitted
         ///   to deallocate.
+        #[allow(nonstandard_style)]
         unsafe fn array<E>(
             self,
             slot: *mut [u8; 1024 * 1024],
@@ -73,6 +74,7 @@ const _: () = {
         /// - the caller does not touch `slot` when `Err` is returned, they are only permitted
         ///   to deallocate.
         /// - `slot` will not move until it is dropped, i.e. it will be pinned.
+        #[allow(nonstandard_style)]
         unsafe fn _pin<E>(
             self,
             slot: *mut PhantomPinned,
@@ -101,7 +103,7 @@ const _: () = {
     unsafe impl ::pin_init::__internal::PinData for __ThePinData {
         type Datee = Foo;
     }
-    #[allow(dead_code)]
+    #[allow(dead_code, nonstandard_style)]
     struct __Unpin<'__pin> {
         __phantom_pin: ::core::marker::PhantomData<fn(&'__pin ()) -> &'__pin ()>,
         __phantom: ::core::marker::PhantomData<fn(Foo) -> Foo>,