Remove no longer necessary lint allow

This commit is contained in:
bjorn3 2025-10-30 15:04:49 +00:00
parent f15a7f3858
commit 389c3ce0f7

View file

@ -24,8 +24,6 @@
#![feature(rustc_attrs)]
#![panic_runtime]
#![feature(panic_runtime)]
// `real_imp` is unused with Miri, so silence warnings.
#![cfg_attr(miri, allow(dead_code))]
#![allow(internal_features)]
#![warn(unreachable_pub)]
#![deny(unsafe_op_in_unsafe_fn)]