Doc: clarify priority of lint level sources#142021

Merged

bors merged 1 commit into

rust-lang:masterfrom

HamidrezaSK:fix-lint-precedence-doc

Jun 29, 2025

The logs for this run have expired and are no longer available.