Auto merge of #1141 - RalfJung:lint-adjust, r=RalfJung
Auto merge of #1141 - RalfJung:lint-adjust, r=RalfJung

remove no-longer-needed allow(const_err)

rust-lang/miri,rust-lang/miri,tsion/miri,rust-lang/miri,rust-lang/miri