What problem does this solve or what need does it fill?

Bevy_ecs contains a lot of unsafe code. Unsafe code in Bevy has been proven to be unsound on multiple occasions.

What solution would you like?

Run the bevy_ecs test suite in miri to detect UB. Preferably miri would also manually be run on #1525 before it is merged.

What alternative(s) have you considered?

Remove all unsafe code.

Will regress performance by a lot.

Formally verify all unsafe code.

Way too much work.

Manually verify all unsafe code.

Takes a lot of time and will miss some unsoundness.