Auto merge of #142746 - compiler-errors:super-implied-outlives, r=lcnr

Apply `impl_super_outlives` optimization to new trait solver

I never did rust-lang/rust#128746 for the new solver.

r? lcnr

Author: bors