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

Age	Commit message (Expand)	Author	Lines
2023-12-12	refactor writeback: emit normalization errors with new solver	lcnr	-2/+2
2023-12-08	implement and use `NormalizesTo`	lcnr	-3/+3
2023-12-05	Continue folding if deep normalizer fails	Michael Goulet	-14/+40
2023-12-05	Add deeply_normalize_for_diagnostics, use it in coherence	Michael Goulet	-1/+15
2023-10-18	AliasTy::new instead of tcx method	lcnr	-1/+1
2023-08-03	avoid more `ty::Binder:dummy`	lcnr	-6/+3
2023-07-24	Rollup merge of #113987 - compiler-errors:comments, r=lcnr	Matthias Krüger	-1/+2
2023-07-23	more clippy::style fixes:	Matthias Krüger	-2/+2
2023-07-23	Comment stuff in the new solver	Michael Goulet	-1/+2
2023-07-14	Auto merge of #113471 - compiler-errors:new-solver-norm-escaping, r=lcnr	bors	-1/+15
2023-07-14	assertion, comment	Michael Goulet	-0/+4
2023-07-14	Allow escaping bound vars during normalize_erasing_regions in new solver	Michael Goulet	-1/+11
2023-07-14	refactor(rustc_middle): Substs -> GenericArg	Mahdi Dibaiee	-1/+1
2023-07-07	Normalize opaques during codegen in new solver	Michael Goulet	-3/+1
2023-07-05	Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk	Michael Goulet	-0/+2
2023-07-04	Replace `mk_const` with `Const::new_x` methods	Boxy	-2/+2
2023-07-04	-Ztrait-solver=next: stop depending on old solver	lcnr	-0/+2
2023-07-03	rebase	lcnr	-1/+1
2023-07-03	review	lcnr	-14/+12
2023-07-03	add deep normalization via the new solver	lcnr	-0/+222