| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-08-15 | Rollup merge of #114829 - compiler-errors:next-solver-only-unsize-to-dyn-once... | Guillaume Gomez | -43/+51 |
| 2023-08-15 | Separate consider_unsize_to_dyn_candidate from other unsize candidates | Michael Goulet | -43/+51 |
| 2023-08-15 | Probe when assembling upcast candidates so they don't step on eachother's toes | Michael Goulet | -10/+12 |
| 2023-08-12 | normalize in `trait_ref_is_knowable` in new solver | lcnr | -38/+1 |
| 2023-08-04 | Rollup merge of #114287 - lcnr:overflow, r=compiler-errors | Michael Goulet | -32/+20 |
| 2023-08-03 | short-circuit when proj def ids differ | Michael Goulet | -9/+14 |
| 2023-08-03 | Rework upcasting | Michael Goulet | -37/+88 |
| 2023-08-03 | handle overflow in the `EvalCtxt` separately | lcnr | -22/+18 |
| 2023-08-03 | avoid more `ty::Binder:dummy` | lcnr | -10/+2 |
| 2023-07-31 | Rollup merge of #114169 - lcnr:unsize, r=compiler-errors | Matthias Krüger | -199/+245 |
| 2023-07-28 | fix comment | lcnr | -1/+1 |
| 2023-07-28 | refactor builtin unsize handling, extend comments | lcnr | -199/+245 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -8/+5 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -67/+83 |
| 2023-07-25 | Consolidate trait upcasting and unsize into one normalization | Michael Goulet | -170/+213 |
| 2023-07-25 | Normalize the RHS of an unsize goal | Michael Goulet | -64/+132 |
| 2023-07-21 | Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk" | David Tolnay | -14/+3 |
| 2023-07-21 | Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checks | Moulins | -3/+14 |
| 2023-07-20 | assembly: only consider blanket impls once | lcnr | -1/+8 |
| 2023-07-20 | XSimplifiedType to SimplifiedType::X | lcnr | -1/+1 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -24/+23 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -5/+3 |
| 2023-07-07 | Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472 | bors | -6/+1 |
| 2023-07-06 | Don't call type_of on TAIT in defining scope in new solver | Michael Goulet | -0/+27 |
| 2023-07-06 | add helper methods for accessing struct tail | Lukas Markeffsky | -6/+1 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -3/+3 |
| 2023-07-04 | add `ecx.probe_candidate` | lcnr | -145/+130 |
| 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 | -63/+52 |
| 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 | -54/+61 |
| 2023-06-19 | initial info dump | Boxy | -164/+185 |
| 2023-06-17 | Auto merge of #108860 - oli-obk:tait_alias, r=compiler-errors | bors | -1/+1 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -1/+1 |
| 2023-06-15 | Make assumption functions in new solver take clause | Michael Goulet | -5/+5 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -1/+1 |
| 2023-05-23 | Don't ICE when computing PointerLike trait when region vars are in param-env | Michael Goulet | -5/+9 |
| 2023-05-09 | Consolidate the 'match assumption' type methods in GoalKind | Michael Goulet | -68/+3 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -0/+24 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -1/+1 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -16/+9 |
| 2023-04-26 | Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a... | Maybe Waffle | -1/+1 |
| 2023-04-25 | Remove some useless `ty::Binder::dummy` calls | Maybe Waffle | -20/+5 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -15/+23 |
| 2023-04-24 | Consider polarity in new solver | Michael Goulet | -3/+69 |
| 2023-04-24 | Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-... | Matthias Krüger | -3/+7 |
| 2023-04-19 | Remove find_map_relevant_impl | Michael Goulet | -3/+7 |
| 2023-04-17 | Spelling - compiler | Josh Soref | -1/+1 |
| 2023-04-14 | Move auto trait built-in candidate disqualification to a separate method | Michael Goulet | -77/+93 |
