Matthias Krüger ab769a0bac Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnr ... Minor tweaks in the new solver 1. `InferCtxt::probe` is not needed in `compute_subtype_goal` and `compute_well_formed_goal`. 2. Add a handful of comments. 3. Add a micro-optimization in `consider_assumption` where we check the def-ids of the assumption and goal match before instantiating any binders. r? ``@lcnr``		2023-01-28 05:20:19 +01:00
..
src	Rollup merge of #107344 - compiler-errors:new-solver-tweaks, r=lcnr	2023-01-28 05:20:19 +01:00
Cargo.toml	update cache	2023-01-18 08:09:01 +01:00