reconcile SLG/recursive solver's attempts to merge multiple results

rust-lang / chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

https://rust-lang.github.io/chalk/book/

Other

1.81k stars 180 forks source link

reconcile SLG/recursive solver's attempts to merge multiple results #760

Open nikomatsakis opened 2 years ago

nikomatsakis commented 2 years ago

PR https://github.com/rust-lang/chalk/pull/754 tweaked the behavior of recursive solver to do a better job merging multiple results (and in particular to recognize the special case of "always true"), but it did not make a comparable change to the SLG solver, leading to some divergence in results. We should fix that!