Suggest `derive(Trait)` or `T: Trait` from transitive obligation in some cases#127997

estebank wants to merge 3 commits intorust-lang:masterrust-lang/rust:masterfrom

estebank:missing-trait-suggestionestebank/rust:missing-trait-suggestionCopy head branch name to clipboard