I saw you reviewed https://github.com/rust-lang/rust/pull/56863
fix trait objects with a Self-containing projection values
Your example of "trait Helper: Base<Output=<Self as Helper>::Target> + Base<Output=i32>" just plain doesn't compile, even without uses.
error[E0282]: type annotations needed
ok found a way around that.