Auto merge of #129499 - fee1-dead-contrib:supereffects, r=compiler-er…

…rors

properly elaborate effects implied bounds for super traits

Summary: This PR makes it so that we elaborate `<T as Tr>::Fx: EffectsCompat<somebool>` into `<T as SuperTr>::Fx: EffectsCompat<somebool>` when we know that `trait Tr: ~const SuperTr`.

Some discussion at rust-lang/project-const-traits#2.

r? project-const-traits
`@rust-lang/project-const-traits:` how do we feel about this approach?