Auto merge of #126963 - runtimeverification:smir_serde_derive, r=oli-obk #47184

Annotations

8 errors and 10 warnings

this file contains an unclosed delimiter

lifetimes cannot start with a number

mismatched closing delimiter: `}`

missing type for `static` item

unexpected `if` in the condition expression

this file contains an unclosed delimiter

unexpected closing delimiter: `}`

Process completed with exit code 1.

ambiguous glob re-exports

unused import: `$column_name`

unused import: `super::table as $table_name`

unused import: `$column_name`

unused import: `super::table as $table_name`

unused import: `$column_name`