Guillaume Gomez f1ad7f07f2

Rollup merge of #108110 - compiler-errors:new-solver-less-infcx, r=lcnr ...

Move some `InferCtxt` methods to `EvalCtxt` in new solver

Moving towards eventually making the `InferCtxt` within `EvalCtxt` private, so that we make sure not to do anything strange in the solver. This doesn't finish this work yet, just gets it started.

r? ``@lcnr``

2023-02-22 10:35:07 +01:00

..

src

Rollup merge of #108110 - compiler-errors:new-solver-less-infcx, r=lcnr

2023-02-22 10:35:07 +01:00

Cargo.toml

Multiple candidates with same response is not ambiguous

2023-02-10 00:35:25 +00:00