It would be nice to have a new experimental lint in favor of `#![feature(associated_type_bounds)]`. Some details can be found in https://github.com/rust-lang/rust/issues/61738.