Auto merge of #117579 - RalfJung:miri, r=RalfJung #37902

Annotations

5 errors and 10 warnings

unexpected closing delimiter: `}`

this file contains an unclosed delimiter

mismatched closing delimiter: `}`

unexpected `if` in the condition expression

unexpected closing 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`