See also https://users.rust-lang.org/t/different-ways-to-write-bounds-for-supertraits-associated-type/115127; you might not be able to escape having to explicitly add the where-bound at generic use sites.
2 Likes