rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
2023-01-15	Auto merge of #106742 - compiler-errors:new-solver-make-it-not-ice, r=lcnr	bors	-39/+98
	Implement some FIXME methods in the new trait solver Implement just enough of the solver's response logic to make it not ICE. Also, fix a bug with `no_bound_vars` call failing due to canonical bound vars. r? `@lcnr`
2023-01-14	change impl_trait_ref query to return EarlyBinder; remove ↵	Kyle Matsuda	-2/+2
	bound_impl_trait_ref query; add EarlyBinder to impl_trait_ref in metadata
2023-01-14	new trait solver: rebase impl substs for gats correctly	Michael Goulet	-1/+1

2023-01-12	HACK: Handle escaping bound vars from the canonical query	Michael Goulet	-1/+1

2023-01-12	Implement dummy query responses and a jank instantiate	Michael Goulet	-38/+97

2023-01-11	Rollup merge of #106705 - compiler-errors:new-solver-err-properly, r=lcnr	Matthias Krüger	-11/+25
	Report fulfillment errors in new trait solver Causes fewer ICEs when testing the new solver :smile:
2023-01-11	Report fulfillment errors in new trait solver	Michael Goulet	-11/+25

2023-01-11	Rollup merge of #106397 - compiler-errors:new-solver-impl-wc, r=lcnr	nils	-6/+21
	Check `impl`'s `where` clauses in `consider_impl_candidate` in experimental solver Check impl's nested predicates as part of the recursive evaluate in `consider_impl_candidate`. <sub>Unless, for some reason, these are intentionally not checked here -- in which case, I really don't understand where they're being checked...<sub> r? ```@lcnr```
2023-01-09	Check impl's where clauses in consider_impl_candidate in experimental solver	Michael Goulet	-6/+21

2023-01-03	has_overflow only if value is not within limit	Michael Goulet	-1/+1

2022-12-20	dedup assembly	lcnr	-298/+267

2022-12-19	implement the skeleton of the updated trait solver	lcnr	-0/+1398