I tend to be curious about language design topics that have some discussion around them, like variadics, keyword generics, or undroppable types, but I never came across discussion about trait generics. Has there been any proposals for it? Are there clear downsides I'm missing? Is this just an irrelevant feature for most users? I ask because recently I caught myself searching if the Either type, from the either crate, implemented Iterator when both the Left and Right parameters implemented it ...| Rust Internals