Matthias Krüger dd08f35e87 Rollup merge of #107286 - compiler-errors:new-solver-deny-infers, r=lcnr ... ICE in new solver if we see an inference variable By construction, we do not expect to see any `ty::Infer(ty::TyVar(_))` inference types in the solver (we treat this as ambiguous, since we need to be able to structurally resolve the self type at least one layer to assemble candidates for it). Additionally, since we're doing no freshening, we also don't expect to see any fresh vars of any kind in the solver. Let's make that an ICE so we can catch any mistakes. When #107282 lands, we should also ICE there too if we see a non-int/float infer. r? `@lcnr`		2023-01-26 06:15:29 +01:00
..
src	Rollup merge of #107286 - compiler-errors:new-solver-deny-infers, r=lcnr	2023-01-26 06:15:29 +01:00
Cargo.toml	update cache	2023-01-18 08:09:01 +01:00