user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Rollup merge of #148517 - bjorn3:lint_cleanup, r=joboet

Browse source 
Remove no longer necessary lint allow
This commit is contained in:
Matthias Krüger 2025-11-05 21:28:29 +01:00 • committed by GitHub
commit d195074363
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 0 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
library/panic_unwind/src/lib.rs
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)]