Fixing some parts of clippy should be easy (see https://github.com/solson/miri/pull/332/files#diff-38e1b218ccde94f6cf0ee8938af318aaL480 for how I fixed the exact same function in miri) Most breakage should be due to https://github.com/rust-lang/rust/pull/44142