Rollup merge of #130293 - gurry:130142-lint-level-issue, r=cjgillot · rust-lang/miri@a785b59 · GitHub

Commit

Rollup merge of #130293 - gurry:130142-lint-level-issue, r=cjgillot

Browse files

Fix lint levels not getting overridden by attrs on `Stmt` nodes

Fixes #130142. See comments on the issue for context.

r? `@cjgillot`

Loading branch information

matthiaskrgr authored Sep 15, 2024

2 parents 7e414b6 + 4c5d12b commit a785b59