Auto merge of #128699 - RalfJung:miri-sync, r=RalfJung #48827

Annotations

6 errors and 10 warnings

this file contains an unclosed delimiter

unexpected closing delimiter: `}`

missing type for `static` item

mismatched closing delimiter: `}`

unexpected `if` in the condition expression

this file contains an unclosed delimiter

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`