Closed
Description
The old solver prioritizes non-global param-env candidates over other candidates.
This is different in the new solver which only prioritizes param-env candidates if they do not guide type inference. This is may break code due to inference changes.
We also disable this behavior during coherence as that would be incomplete.