search

lcnr / solver-woes

Documenting changes due to the the new trait solver and my worries about stabilization
4 stars 0 forks source link

arbitrarily choosing candidates for trait goals #14

Closed lcnr closed 1 year ago

lcnr commented 1 year ago

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.

lcnr commented 1 year ago

closing in favor of https://github.com/rust-lang/trait-system-refactor-initiative/issues/11