This is a known issue, and there are plans to fix it eventually: where clauses are only elaborated for supertraits, and not other things · Issue #20671 · rust-lang/rust · GitHub
See this recent thread for some more information: Fn requires to duplicate trait bounds from a trait