| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-08-15 | Rollup merge of #114829 - compiler-errors:next-solver-only-unsize-to-dyn-once... | Guillaume Gomez | -10/+33 |
| 2023-08-15 | Separate consider_unsize_to_dyn_candidate from other unsize candidates | Michael Goulet | -10/+33 |
| 2023-08-15 | Only consider object candidates for object-safe dyn types | Michael Goulet | -0/+5 |
| 2023-08-13 | Auto merge of #114457 - lcnr:trait_ref_is_knowable-normalize, r=compiler-errors | bors | -19/+35 |
| 2023-08-12 | normalize in `trait_ref_is_knowable` in new solver | lcnr | -19/+35 |
| 2023-08-11 | remove builtin impl for float and int infer | lcnr | -4/+2 |
| 2023-08-07 | Rollup merge of #114196 - compiler-errors:bubble-pls, r=lcnr | Matthias Krüger | -23/+24 |
| 2023-08-03 | handle overflow in the `EvalCtxt` separately | lcnr | -40/+34 |
| 2023-08-03 | avoid more `ty::Binder:dummy` | lcnr | -4/+1 |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -1/+0 |
| 2023-08-01 | Convert adt_sized_constraint to early-binder, use list | Michael Goulet | -1/+1 |
| 2023-07-29 | Bubble up nested goals from equation in predicates_for_object_candidate | Michael Goulet | -23/+24 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -4/+4 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -52/+63 |
| 2023-07-25 | Consolidate trait upcasting and unsize into one normalization | Michael Goulet | -15/+10 |
| 2023-07-24 | Rollup merge of #113987 - compiler-errors:comments, r=lcnr | Matthias Krüger | -0/+2 |
| 2023-07-23 | Comment stuff in the new solver | Michael Goulet | -0/+2 |
| 2023-07-20 | update doc comments | lcnr | -10/+17 |
| 2023-07-20 | review | lcnr | -4/+4 |
| 2023-07-20 | re-add comment | lcnr | -0/+6 |
| 2023-07-20 | assembly: only consider blanket impls once | lcnr | -65/+208 |
| 2023-07-17 | Rename arg_iter to iter_instantiated | Michael Goulet | -2/+3 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -26/+27 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -5/+3 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -3/+3 |
| 2023-07-04 | Rollup merge of #113192 - lcnr:add-comment, r=compiler-errors | Matthias Krüger | -4/+13 |
| 2023-07-03 | Implement selection in new trait solver | Michael Goulet | -15/+36 |
| 2023-06-30 | assemble_candidates_after_normalizing_self_ty docs | lcnr | -4/+13 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -21/+11 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -7/+9 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -4/+4 |
| 2023-06-20 | Auto merge of #112835 - lcnr:proof-tree-nits, r=BoxyUwU | bors | -5/+3 |
| 2023-06-20 | split probe into 2 functions for better readability | lcnr | -5/+3 |
| 2023-06-20 | Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnr | bors | -1/+5 |
| 2023-06-20 | Add rustc_do_not_implement_via_object | Michael Goulet | -1/+5 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -4/+4 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -4/+4 |
| 2023-06-19 | introduce a separate set of types for finalized proof trees | Boxy | -31/+35 |
| 2023-06-17 | Auto merge of #108860 - oli-obk:tait_alias, r=compiler-errors | bors | -2/+3 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -2/+3 |
| 2023-06-15 | Make assumption functions in new solver take clause | Michael Goulet | -17/+23 |
| 2023-06-12 | update comment | lcnr | -1/+1 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -1/+1 |
| 2023-05-28 | Make EarlyBinder's inner value private; and fix all of the resulting errors | Kyle Matsuda | -5/+1 |
| 2023-05-25 | Strongly prefer alias and param-env bounds | Michael Goulet | -5/+9 |
| 2023-05-25 | Prepopulate opaques in canonical input | Michael Goulet | -3/+5 |
| 2023-05-17 | Exclude inherent projections from some alias ty matches | León Orell Valerian Liehr | -1/+3 |
| 2023-05-09 | Consolidate the 'match assumption' type methods in GoalKind | Michael Goulet | -3/+41 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -2/+114 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -1/+1 |
