suggest adding a where-clause when there is an unmet trait-bound that can be satisfied if some type can implement it.
Fixes #10596. Fixes #22279.