Auto merge of #126963 - runtimeverification:smir_serde_derive, r=celi… #48378

Annotations

10 warnings

struct `boot_params` is never constructed

struct `vm86` is never constructed

struct `arch_spinlock` is never constructed

struct `timespec` is never constructed

struct `user_event_mm` is never constructed

struct `page_vma_mapped_walk` is never constructed

struct `memory_group` is never constructed

struct `page_ext` is never constructed

struct `pci_bus` is never constructed

struct `key_owner` is never constructed