mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-22 02:00:00 +03:00
9e1c7febe2
Should not lint because the trait might not be changeable by the user We only lint in the trait definition