Use Param in desugaring method ~const bounds as effects

[fee1-dead]

still a bit WIP. This should help with the interaction of super trait implied bounds and using those in const fn.

r? project-const-traits

[fee1-dead]

I believe we might still end up taking a slightly different approach that unifies

pub trait Foo: Bar {
    type Effects: TyCompat<<Self as Bar>::Effects>
}

with

pub fn foo<const RUNTIME: bool, T: Foo>() where Param<RUNTIME>: TyCompat<<T as Bar>::Effects> {}

to imply that T can be safely used as Bar inside the function as well.

[bors]

☔ The latest upstream changes (presumably #129521) made this pull request unmergeable. Please resolve the merge conflicts.