Don't report on_unimplemented
message for negative traits#131701
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 15, 2024
Merged
Don't report `on_unimplemented` message for negative traits#131701bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom