wgsl_bindgen 0.22.2

Type safe Rust bindings workflow for wgsl shaders in wgpu
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
// See also: https://webgpufundamentals.org/webgpu/lessons/resources/wgsl-offset-computer.html

use derive_more::IsVariant;
use naga::common::wgsl::TypeContext;
use naga::StructMember;
use proc_macro2::{Span, TokenStream};
use quote::{format_ident, quote};
use smol_str::SmolStr;
use syn::{Ident, Index};

use super::{rust_type, RustSourceItem, RustSourceItemPath, RustTypeInfo};
use crate::bevy_util::demangle_str;
use crate::quote_gen::{
  generate_derive_attributes, generate_doc_comment, generate_impl_block,
  generate_struct_definition, generate_struct_field, RustSourceItemCategory,
  MOD_BYTEMUCK_IMPLS, MOD_STRUCT_ASSERTIONS,
};
use crate::{
  sanitized_upper_snake_case, WgslBindgenOption, WgslType, WgslTypeSerializeStrategy,
  WgslTypeVisibility,
};

impl WgslTypeVisibility {
  fn generate_quote(&self) -> TokenStream {
    match self {
      WgslTypeVisibility::Public => quote!(pub),
      WgslTypeVisibility::RestrictedCrate => quote!(pub(crate)),
      WgslTypeVisibility::RestrictedSuper => quote!(pub(super)),
    }
  }
}

#[derive(Clone)]
pub struct Padding {
  pub pad_name: Ident,
  pub pad_size_tokens: TokenStream,
}

impl Padding {
  fn generate_member_instantiate(&self) -> TokenStream {
    let pad_name = &self.pad_name;
    let pad_size = &self.pad_size_tokens;
    quote!(#pad_name: [0; #pad_size])
  }

  fn generate_member_definition(&self) -> TokenStream {
    let pad_name = &self.pad_name;
    let pad_size = &self.pad_size_tokens;
    quote!(pub #pad_name: [u8; #pad_size])
  }
}

#[derive(Default)]
struct NagaToRustStructState<'a> {
  index: usize,
  members: Vec<RustStructMemberEntry<'a>>,
}

impl<'a> NagaToRustStructState<'a> {
  /// This replaces the `rust_type` with a custom field map if necessary
  fn get_rust_type(
    options: &WgslBindgenOption,
    fully_qualified_name: &SmolStr,
    rust_type: RustTypeInfo,
    member_name: &str,
  ) -> proc_macro2::TokenStream {
    let fully_qualified_name = fully_qualified_name.as_str();
    options
      .override_struct_field_type
      .iter()
      .find_map(|o| {
        let struct_matches = o.struct_regex.is_match(fully_qualified_name);
        let field_matches = o.field_regex.is_match(member_name);
        (struct_matches && field_matches).then_some(o.override_type.clone())
      })
      .unwrap_or(rust_type.tokens)
  }

  /// Creates a fold function for processing struct members into Rust equivalents
  fn create_fold(
    options: &'a WgslBindgenOption,
    fully_qualified_name: SmolStr,
    naga_members: &'a [StructMember],
    naga_module: &'a naga::Module,
    naga_context: naga::proc::GlobalCtx<'a>,
    layout_size: usize,
    is_directly_sharable: bool,
  ) -> impl FnMut(NagaToRustStructState<'a>, &'a StructMember) -> NagaToRustStructState<'a>
  {
    let member_processor = move |mut state: NagaToRustStructState<'a>,
                                 naga_member: &'a StructMember|
          -> NagaToRustStructState<'a> {
      let member_name = naga_member.name.as_ref().unwrap();
      let name_ident = Ident::new(member_name, Span::call_site());
      let member_naga_type = &naga_module.types[naga_member.ty];

      let rust_type_info = rust_type(None, naga_module, member_naga_type, options);
      let is_runtime_sized_array = rust_type_info.size.is_none();

      // Runtime-sized arrays can only be the last field in a struct
      if is_runtime_sized_array && state.index != naga_members.len() - 1 {
        panic!("Only the last field of a struct can be a runtime-sized array");
      }

      // Calculate padding needed between this field and the next
      let padding = if is_runtime_sized_array || !is_directly_sharable {
        None
      } else {
        let current_offset = naga_member.offset as usize;
        let next_offset = if state.index + 1 < naga_members.len() {
          naga_members[state.index + 1].offset as usize
        } else {
          layout_size
        };
        let rust_type = &rust_type_info;

        let pad_name = format!("_pad_{member_name}");
        let required_member_size = next_offset - current_offset;

        // WGSL type size from naga (this is the true WGSL size)
        let wgsl_type_size = member_naga_type.inner.size(naga_context) as usize;

        // Calculate where the next field should be according to WGSL layout
        // vs where Rust would naturally place it
        let wgsl_field_end = current_offset + wgsl_type_size;

        if wgsl_field_end == next_offset {
          // WGSL field ends exactly where the next field should start, no padding needed
          None
        } else if wgsl_field_end < next_offset {
          // Next field starts after this field ends, add padding
          let padding_size = next_offset - wgsl_field_end;
          let pad_name = Ident::new(&pad_name, Span::call_site());
          let padding_size_hex = format!("0x{padding_size:X}");
          let pad_size_tokens = syn::parse_str::<TokenStream>(&padding_size_hex).unwrap();

          let padding = Padding {
            pad_name,
            pad_size_tokens,
          };

          Some(padding)
        } else {
          // wgsl_field_end > next_offset
          // WGSL field extends beyond where next field should be
          panic!("WGSL field extends beyond next field start: WGSL ends at {wgsl_field_end}, next starts at {next_offset}");
        }
      };

      let is_current_field_padding = options
        .custom_padding_field_regexps
        .iter()
        .any(|pad_expr| pad_expr.is_match(member_name));

      // Handle builtin and padding fields
      let is_builtin_field =
        matches!(naga_member.binding, Some(naga::Binding::BuiltIn(_)));

      // For builtin fields, we need to add padding instead of the field itself
      if is_builtin_field {
        // For builtin fields, calculate padding for the space the builtin field would occupy
        if is_directly_sharable {
          let current_offset = naga_member.offset as usize;
          let next_offset = if state.index + 1 < naga_members.len() {
            naga_members[state.index + 1].offset as usize
          } else {
            layout_size
          };
          let builtin_field_space = next_offset - current_offset;

          if builtin_field_space > 0 {
            let pad_name = format!("_pad_{member_name}");
            let pad_name = Ident::new(&pad_name, Span::call_site());
            let padding_size_hex = format!("0x{builtin_field_space:X}");
            let pad_size_tokens =
              syn::parse_str::<TokenStream>(&padding_size_hex).unwrap();

            let padding = Padding {
              pad_name,
              pad_size_tokens,
            };
            state.members.push(RustStructMemberEntry::Padding(padding));
          }
        }

        state.index += 1;
        return state;
      }

      let entry = if is_current_field_padding {
        let size = member_naga_type.inner.size(naga_context);
        let size = format!("0x{size:X}");
        let pad_size_tokens = syn::parse_str::<TokenStream>(&size).unwrap();

        RustStructMemberEntry::Padding(Padding {
          pad_name: name_ident,
          pad_size_tokens,
        })
      } else {
        let init_type = rust_type_info.init_type.clone().map(syn::Type::Verbatim);
        let rust_type = Self::get_rust_type(
          options,
          &fully_qualified_name,
          rust_type_info,
          member_name,
        );

        RustStructMemberEntry::Field(Field {
          name_ident: name_ident.clone(),
          naga_member,
          naga_type: member_naga_type,
          naga_ty_handle: naga_member.ty,
          rust_type: syn::Type::Verbatim(rust_type.clone()),
          init_type,
          is_rsa: is_runtime_sized_array,
        })
      };

      state.index += 1;
      state.members.push(entry);

      if let Some(padding) = padding {
        state.members.push(RustStructMemberEntry::Padding(padding));
      }
      state
    };

    member_processor
  }
}

pub struct Field<'a> {
  pub name_ident: Ident,
  pub naga_member: &'a naga::StructMember,
  pub naga_type: &'a naga::Type,
  pub naga_ty_handle: naga::Handle<naga::Type>,
  pub rust_type: syn::Type,
  pub init_type: Option<syn::Type>,
  pub is_rsa: bool,
}

impl<'a> Field<'a> {
  fn generate_member_instantiate(&self, other_struct_var_name: &Ident) -> TokenStream {
    let name = &self.name_ident;
    if self.has_init_type() {
      self.generate_init_to_target_conversion(other_struct_var_name)
    } else {
      quote!(#name: #other_struct_var_name.#name)
    }
  }

  fn generate_member_definition(&self) -> TokenStream {
    let name = &self.name_ident;
    let ty = &self.rust_type;
    quote!(pub #name: #ty)
  }

  fn generate_init_member_definition(&self) -> TokenStream {
    let name = &self.name_ident;
    if let Some(init_ty) = &self.init_type {
      quote!(pub #name: #init_ty)
    } else {
      let ty = &self.rust_type;
      quote!(pub #name: #ty)
    }
  }

  fn generate_fn_new_param(&self) -> TokenStream {
    let name = &self.name_ident;
    let ty = &self.rust_type;
    quote!(#name: #ty)
  }

  fn has_init_type(&self) -> bool {
    self.init_type.is_some()
  }

  fn generate_init_to_target_conversion(
    &self,
    other_struct_var_name: &Ident,
  ) -> TokenStream {
    let name = &self.name_ident;
    // Convert from init type (like [Vec3; 4]) to target type (like [(Vec3, [u8; 4]); 4])
    // The padding bytes are zeroed out
    quote!(#name: #other_struct_var_name.#name.map(|elem| (elem, [0u8; 4])))
  }
}

#[derive(IsVariant)]
pub enum RustStructMemberEntry<'a> {
  Field(Field<'a>),
  Padding(Padding),
}

impl<'a> RustStructMemberEntry<'a> {
  fn from_naga(
    options: &'a WgslBindgenOption,
    item_path: &'a RustSourceItemPath,
    naga_members: &'a [naga::StructMember],
    naga_module: &'a naga::Module,
    layout_size: usize,
    is_directly_sharable: bool,
  ) -> Vec<Self> {
    let naga_context = naga_module.to_ctx();
    let fully_qualified_name = item_path.get_fully_qualified_name();

    let state = naga_members.iter().fold(
      NagaToRustStructState::default(),
      NagaToRustStructState::create_fold(
        options,
        fully_qualified_name,
        naga_members,
        naga_module,
        naga_context,
        layout_size,
        is_directly_sharable,
      ),
    );
    state.members
  }
}

pub struct RustStructBuilder<'a> {
  item_path: &'a RustSourceItemPath,
  members: Vec<RustStructMemberEntry<'a>>,
  is_host_sharable: bool,
  has_rts_array: bool,
  naga_module: &'a naga::Module,
  layout: naga::proc::TypeLayout,
  options: &'a WgslBindgenOption,
}

impl<'a> RustStructBuilder<'a> {
  fn name_ident(&self) -> Ident {
    Ident::new(self.item_path.name.as_ref(), Span::call_site())
  }

  fn is_directly_shareable(&self) -> bool {
    self.options.serialization_strategy == WgslTypeSerializeStrategy::Bytemuck
      && self.is_host_sharable
  }

  fn uses_generics_for_rts(&self) -> bool {
    self.has_rts_array
      && self.options.serialization_strategy == WgslTypeSerializeStrategy::Bytemuck
  }

  fn uses_padding(&self) -> bool {
    self.members.iter().any(|m| match m {
      RustStructMemberEntry::Padding(_) => true,
      RustStructMemberEntry::Field(field) => field.has_init_type(),
    })
  }

  fn ty_param_use(&self) -> TokenStream {
    if self.uses_generics_for_rts() {
      quote!(<N>)
    } else {
      quote!()
    }
  }

  fn ty_param_def(&self) -> TokenStream {
    if self.uses_generics_for_rts() {
      quote!(<const N: usize>)
    } else {
      quote!()
    }
  }

  fn struct_name_in_usage_fragment(&self) -> TokenStream {
    let ident = self.name_ident();
    let ty_param_use = self.ty_param_use();
    quote!(#ident #ty_param_use)
  }

  fn fully_qualified_struct_name_in_usage_fragment(&self) -> TokenStream {
    let fully_qualified_name_str = self.item_path.get_fully_qualified_name();
    let fully_qualified_name =
      syn::parse_str::<TokenStream>(&fully_qualified_name_str).unwrap();
    let ty_param_use = self.ty_param_use();
    quote!(#fully_qualified_name #ty_param_use)
  }

  fn struct_name_in_definition_fragment(&self) -> TokenStream {
    let ident = self.name_ident();
    let ty_param_def = self.ty_param_def();
    quote!(#ident #ty_param_def)
  }

  fn init_struct_name_in_usage_fragment(&self) -> TokenStream {
    let name = format!("{}Init", self.item_path.name);
    let ident = Ident::new(&name, Span::call_site());
    let ty_param_use = self.ty_param_use();
    quote!(#ident #ty_param_use)
  }

  fn init_struct_name_in_definition_fragment(&self) -> TokenStream {
    let name = format!("{}Init", self.item_path.name);
    let ident = Ident::new(&name, Span::call_site());
    let ty_param_def = self.ty_param_def();
    quote!(#ident #ty_param_def)
  }

  fn impl_trait_for_fragment(&self) -> TokenStream {
    let ty_param_def = self.ty_param_def();
    quote!(impl #ty_param_def)
  }

  fn build_init_struct(&self) -> TokenStream {
    if !self.is_directly_shareable()
      || (!self.uses_padding() && !self.options.always_generate_init_struct)
    {
      return quote!();
    }

    let impl_fragment = self.impl_trait_for_fragment();
    let struct_name_in_usage = self.struct_name_in_usage_fragment();
    let struct_name = self.name_ident();
    let init_struct_name_def = self.init_struct_name_in_definition_fragment();
    let init_struct_name_in_usage = self.init_struct_name_in_usage_fragment();
    let visibility = self.options.type_visibility.generate_quote();

    let mut init_struct_members = vec![];
    let mut mem_assignments = vec![];

    let init_var_name = Ident::new("self", Span::call_site());

    for entry in self.members.iter() {
      match entry {
        RustStructMemberEntry::Field(field) => {
          init_struct_members.push(field.generate_init_member_definition());
          mem_assignments.push(field.generate_member_instantiate(&init_var_name));
        }
        RustStructMemberEntry::Padding(padding) => {
          mem_assignments.push(padding.generate_member_instantiate())
        }
      }
    }

    let init_derives =
      generate_derive_attributes(&["Debug", "PartialEq", "Clone", "Copy"]);
    let build_method = quote! {
      pub fn build(&self) -> #struct_name_in_usage {
        #struct_name {
          #(#mem_assignments),*
        }
      }
    };
    let from_impl = quote! {
      #impl_fragment From<#init_struct_name_in_usage> for #struct_name_in_usage {
        fn from(data: #init_struct_name_in_usage) -> Self {
          data.build()
        }
      }
    };

    quote! {
      #[repr(C)]
      #init_derives
      #visibility struct #init_struct_name_def {
        #(#init_struct_members),*
      }

      #impl_fragment #init_struct_name_in_usage {
        #build_method
      }

      #from_impl
    }
  }

  fn build_fn_new(&self) -> TokenStream {
    let struct_name_in_usage = self.struct_name_in_usage_fragment();
    let impl_fragment = self.impl_trait_for_fragment();

    let mut non_padding_members = Vec::new();
    let mut member_assignments = Vec::new();

    for entry in &self.members {
      match entry {
        RustStructMemberEntry::Field(field) => {
          let name = &field.name_ident;
          non_padding_members.push(field.generate_fn_new_param());
          member_assignments.push(quote!(#name));
        }
        RustStructMemberEntry::Padding(padding) => {
          member_assignments.push(padding.generate_member_instantiate())
        }
      }
    }

    match self.options.short_constructor {
      Some(max_param_length) if self.members.len() <= max_param_length as usize => {
        let struct_name = self.name_ident();
        let ty_param_def = self.ty_param_def();
        quote! {
          pub const fn #struct_name #ty_param_def(#(#non_padding_members),*) -> #struct_name_in_usage {
            #struct_name {
              #(#member_assignments),*
            }
          }
        }
      }
      _ => quote! {
        #impl_fragment #struct_name_in_usage {
          pub const fn new(
            #(#non_padding_members),*
          ) -> Self {
            Self {
              #(#member_assignments),*
            }
          }
        }
      },
    }
  }

  fn build_fields(&self) -> Vec<TokenStream> {
    let naga_context = self.naga_module.to_ctx();
    let members = self
      .members
      .iter()
      .map(|entry| match entry {
        RustStructMemberEntry::Field(field) => {
          let Field {
            name_ident: name,
            rust_type,
            is_rsa: is_rts,
            naga_member: member,
            naga_type,
            naga_ty_handle,
            init_type: _,
          } = field;

          let doc_comment = if self.is_directly_shareable() {
            let offset = member.offset;
            let size = naga_type.inner.size(naga_context);
            let ty_name = naga_context.type_to_string(*naga_ty_handle);
            let ty_name = demangle_str(&ty_name);
            let doc = format!("offset: {offset}, size: {size}, type: `{ty_name}`");

            generate_doc_comment(&doc)
          } else {
            quote!()
          };

          let runtime_size_attribute = if *is_rts
            && matches!(
              self.options.serialization_strategy,
              WgslTypeSerializeStrategy::Encase
            ) {
            quote!(#[size(runtime)])
          } else {
            quote!()
          };

          quote! {
            #doc_comment
            #runtime_size_attribute
            pub #name: #rust_type
          }
        }
        RustStructMemberEntry::Padding(padding) => padding.generate_member_definition(),
      })
      .collect::<Vec<_>>();

    members
  }

  fn build_derives(&self) -> Vec<&str> {
    let mut derives = vec!["Debug", "PartialEq", "Clone"];

    match self.options.serialization_strategy {
      WgslTypeSerializeStrategy::Bytemuck => {
        derives.push("Copy");
      }
      WgslTypeSerializeStrategy::Encase => {
        if !self.has_rts_array {
          derives.push("Copy");
        }
        derives.push("encase::ShaderType");
      }
    }
    if self.options.derive_serde {
      derives.push("serde::Serialize");
      derives.push("serde::Deserialize");
    }
    derives
  }

  fn calculate_actual_struct_size(&self) -> usize {
    let naga_context = self.naga_module.to_ctx();

    // Find the last field and calculate struct size
    let mut max_end = 0usize;

    for (idx, entry) in self.members.iter().enumerate() {
      match entry {
        RustStructMemberEntry::Field(field) => {
          let offset = field.naga_member.offset as usize;
          let size = field.naga_type.inner.size(naga_context) as usize;
          let field_end = offset + size;
          max_end = max_end.max(field_end);
        }
        RustStructMemberEntry::Padding(_) => {
          // Padding fields have already been calculated to fill gaps
          // We'll find their size from the next field or end of struct
          if idx + 1 < self.members.len() {
            if let RustStructMemberEntry::Field(next_field) = &self.members[idx + 1] {
              max_end = max_end.max(next_field.naga_member.offset as usize);
            }
          }
        }
      }
    }

    // If we didn't find any fields (shouldn't happen), use 0
    if max_end == 0 {
      return 0;
    }

    // Round up to struct alignment
    let struct_alignment = self.layout.alignment;
    struct_alignment.round_up(max_end as u32) as usize
  }

  fn build_layout_assertion(
    &self,
    custom_alignment: Option<naga::proc::Alignment>,
  ) -> TokenStream {
    let fully_qualified_name_str = self.item_path.get_fully_qualified_name();

    let fully_qualified_name =
      syn::parse_str::<TokenStream>(&fully_qualified_name_str).unwrap();
    let struct_name = if self.uses_generics_for_rts() {
      quote!(#fully_qualified_name<1>) // test RTS with 1 element
    } else {
      quote!(#fully_qualified_name)
    };

    // Calculate actual Rust struct offsets including padding fields
    let mut assert_member_offsets = Vec::new();
    let mut current_rust_offset = 0usize;

    for m in &self.members {
      match m {
        RustStructMemberEntry::Field(field) => {
          let name =
            Ident::new(field.naga_member.name.as_ref().unwrap(), Span::call_site());
          let rust_offset = quote!(std::mem::offset_of!(#struct_name, #name));

          // Use the WGSL offset from naga, which is the correct expected offset
          let expected_offset = Index::from(field.naga_member.offset as usize);

          assert_member_offsets.push(quote!(assert!(#rust_offset == #expected_offset);));

          // Don't need to track current_rust_offset since we use WGSL offsets directly
        }
        RustStructMemberEntry::Padding(_padding) => {
          // Padding doesn't have assertions
        }
      }
    }

    if self.is_directly_shareable() {
      // Assert that the Rust layout matches the WGSL layout.
      // Enable for bytemuck since it uses the Rust struct's memory layout.

      // For bytemuck mode, use WGSL layout size since we add explicit padding for exact compatibility
      let struct_size = if self.members.is_empty() {
        0
      } else {
        // Use the WGSL struct layout size
        self.layout.size as usize
      };
      let struct_size = custom_alignment
        .map(|alignment| alignment.round_up(struct_size as u32) as usize)
        .unwrap_or(struct_size);

      let struct_size = Index::from(struct_size);

      let assertion_name = format_ident!(
        "{}_ASSERTS",
        sanitized_upper_snake_case(&fully_qualified_name_str)
      );

      quote! {
        const #assertion_name: () = {
          #(#assert_member_offsets)*
          assert!(std::mem::size_of::<#struct_name>() == #struct_size);
        };
      }
    } else {
      quote!()
    }
  }

  pub fn build_bytemuck_impls(&self) -> TokenStream {
    let struct_name_in_usage = self.fully_qualified_struct_name_in_usage_fragment();
    let impl_fragment = self.impl_trait_for_fragment();

    if self.options.serialization_strategy == WgslTypeSerializeStrategy::Bytemuck {
      quote! {
        unsafe #impl_fragment bytemuck::Zeroable for #struct_name_in_usage {}
        unsafe #impl_fragment bytemuck::Pod for #struct_name_in_usage {}
      }
    } else {
      quote!()
    }
  }

  pub fn build(&self) -> Vec<RustSourceItem> {
    let struct_name_def = self.struct_name_in_definition_fragment();

    // Assume types used in global variables are host shareable and require validation.
    // This includes storage, uniform, and workgroup variables.
    // This also means types that are never used will not be validated.
    // Structs used only for vertex inputs do not require validation on desktop platforms.
    // Vertex input layout is handled already by setting the attribute offsets and types.
    // This allows vertex input field types without padding like vec3 for positions.
    let is_host_shareable = self.is_host_sharable;

    let has_rts_array = self.has_rts_array;
    let should_generate_padding = is_host_shareable
      && self.options.serialization_strategy == WgslTypeSerializeStrategy::Bytemuck;

    let derives = self.build_derives();

    let fully_qualified_name = self.item_path.get_fully_qualified_name();
    let fully_qualified_name = fully_qualified_name.as_str();
    let custom_alignment = self
      .options
      .override_struct_alignment
      .iter()
      .find_map(|struct_align| {
        struct_align
          .struct_regex
          .is_match(fully_qualified_name)
          .then_some(struct_align.alignment as u32)
      })
      .and_then(naga::proc::Alignment::new);

    let alignment = custom_alignment.unwrap_or(self.layout.alignment) * 1u32;
    let alignment = Index::from(alignment as usize);
    let repr_c = if !has_rts_array {
      if should_generate_padding {
        Some(quote!(#[repr(C, align(#alignment))]))
      } else {
        Some(quote!(#[repr(C)]))
      }
    } else {
      None
    };

    let fields = self.build_fields();
    let struct_new_fn = self.build_fn_new();
    let init_struct = self.build_init_struct();
    let assert_layout = self.build_layout_assertion(custom_alignment);
    let unsafe_bytemuck_pod_impl = self.build_bytemuck_impls();
    let fully_qualified_name = self.item_path.get_fully_qualified_name();
    let visibility = self.options.type_visibility.generate_quote();

    // For now, keep the original complex struct definition due to generics handling
    let struct_name_def = self.struct_name_in_definition_fragment();
    let derive_attrs = generate_derive_attributes(&derives);
    let struct_definition = quote! {
      #repr_c
      #derive_attrs
      #visibility struct #struct_name_def {
          #(#fields),*
      }
    };

    vec![
      RustSourceItem::new(
        RustSourceItemCategory::TypeDefs | RustSourceItemCategory::TypeImpls,
        self.item_path.clone(),
        quote! {
          #struct_definition

          #struct_new_fn
          #init_struct
        },
      ),
      RustSourceItem::new(
        RustSourceItemCategory::ConstVarDecls.into(),
        RustSourceItemPath::new(
          MOD_STRUCT_ASSERTIONS.into(),
          fully_qualified_name.clone(),
        ),
        assert_layout,
      ),
      RustSourceItem::new(
        RustSourceItemCategory::TraitImpls.into(),
        RustSourceItemPath::new(MOD_BYTEMUCK_IMPLS.into(), fully_qualified_name.clone()),
        unsafe_bytemuck_pod_impl,
      ),
    ]
  }

  pub fn from_naga(
    item_path: &'a RustSourceItemPath,
    naga_members: &'a [naga::StructMember],
    naga_module: &'a naga::Module,
    options: &'a WgslBindgenOption,
    layout: naga::proc::TypeLayout,
    is_directly_sharable: bool,
    is_host_sharable: bool,
    has_rts_array: bool,
  ) -> Self {
    let members = RustStructMemberEntry::from_naga(
      options,
      item_path,
      naga_members,
      naga_module,
      layout.size as usize,
      is_directly_sharable,
    );

    RustStructBuilder {
      item_path,
      members,
      is_host_sharable,
      naga_module,
      options,
      has_rts_array,
      layout,
    }
  }
}