| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-12-18 | track the source of nested goals | lcnr | -2/+5 |
| 2023-12-14 | Unconditionally register alias-relate in projection goal | Michael Goulet | -11/+23 |
| 2023-12-08 | implement and use `NormalizesTo` | lcnr | -0/+23 |
| 2023-10-10 | reorder files in solve | lcnr | -636/+0 |
| 2023-09-29 | a small wf and clause cleanup | lcnr | -5/+4 |
| 2023-09-26 | Don't store lazyness in DefKind | Michael Goulet | -1/+1 |
| 2023-09-23 | Remove GeneratorWitness and rename GeneratorWitnessMIR. | Camille GILLOT | -2/+0 |
| 2023-09-20 | remove `impl<'tcx> ToPredicate<'tcx, Clause<'tcx>> for PolyProjectionPredicat... | Ziru Niu | -4/+6 |
| 2023-09-11 | inspect: strongly typed CandidateKind | lcnr | -6/+7 |
| 2023-09-03 | Don't ICE on associated type projection without feature gate | Michael Goulet | -1/+15 |
| 2023-08-15 | Rollup merge of #114831 - compiler-errors:next-solver-projection-subst-compat... | Guillaume Gomez | -7/+15 |
| 2023-08-15 | Check projection arguments before substitution | Michael Goulet | -7/+15 |
| 2023-08-15 | Separate consider_unsize_to_dyn_candidate from other unsize candidates | Michael Goulet | -1/+8 |
| 2023-08-08 | Rollup merge of #114566 - fmease:type-alias-laziness-is-crate-specific, r=oli... | Matthias Krüger | -1/+1 |
| 2023-08-07 | Store the laziness of type aliases in the DefKind | León Orell Valerian Liehr | -1/+1 |
| 2023-08-03 | avoid more `ty::Binder:dummy` | lcnr | -12/+6 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -1/+1 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -1/+2 |
| 2023-07-25 | Consolidate trait upcasting and unsize into one normalization | Michael Goulet | -10/+3 |
| 2023-07-20 | assembly: only consider blanket impls once | lcnr | -2/+10 |
| 2023-07-16 | Check GAT, IAT, and weak type where clauses during projection | Michael Goulet | -0/+16 |
| 2023-07-16 | Add support for inherent projections | Michael Goulet | -1/+1 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -32/+30 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -79/+78 |
| 2023-07-06 | add helper methods for accessing struct tail | Lukas Markeffsky | -1/+1 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -2/+2 |
| 2023-07-05 | Auto merge of #113329 - lcnr:probe_candidate, r=BoxyUwU | bors | -95/+84 |
| 2023-07-04 | add `ecx.probe_candidate` | lcnr | -95/+84 |
| 2023-07-04 | Replace `const_error` methods with `Const::new_error` | Boxy | -5/+4 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -1/+1 |
| 2023-06-20 | split probe into 2 functions for better readability | lcnr | -19/+16 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -1/+1 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -1/+1 |
| 2023-06-19 | introduce a separate set of types for finalized proof trees | Boxy | -21/+31 |
| 2023-06-19 | initial info dump | Boxy | -156/+166 |
| 2023-06-17 | Auto merge of #108860 - oli-obk:tait_alias, r=compiler-errors | bors | -0/+1 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -0/+1 |
| 2023-06-15 | Make assumption functions in new solver take clause | Michael Goulet | -4/+4 |
| 2023-06-02 | Rollup merge of #112223 - compiler-errors:new-solver-auto-proj, r=BoxyUwU | Michael Goulet | -2/+6 |
| 2023-06-02 | Elaborate comment, make sure we do normalizes-to hack eventually for IATs, do... | Michael Goulet | -26/+29 |
| 2023-06-02 | Normalize anon consts in new solver | Michael Goulet | -17/+47 |
| 2023-06-02 | Don't ICE in new solver when auto traits have associated types | Michael Goulet | -2/+6 |
| 2023-05-25 | Prepopulate opaques in canonical input | Michael Goulet | -14/+15 |
| 2023-05-25 | Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu... | Michael Goulet | -2/+7 |
| 2023-05-16 | Use error term if missing associated item in new solver | Michael Goulet | -1/+15 |
| 2023-05-09 | Consolidate the 'match assumption' type methods in GoalKind | Michael Goulet | -69/+3 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -0/+24 |
| 2023-04-26 | Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a... | Maybe Waffle | -2/+3 |
| 2023-04-26 | Remove some more useless `ty::Binder::dummy` calls | Maybe Waffle | -2/+2 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -3/+5 |
