| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-04-14 | Assemble Unpin candidates specially for generators in new solver | Michael Goulet | -1/+18 |
| 2023-04-11 | Rollup merge of #110126 - compiler-errors:new-solver-safe-transmute, r=oli-obk | Michael Goulet | -0/+29 |
| 2023-04-10 | Support safe transmute in new solver | Michael Goulet | -0/+29 |
| 2023-04-10 | Stall auto-trait assembly for int/float vars in new solver | Michael Goulet | -18/+60 |
| 2023-04-10 | move `structural_traits` into `assembly` | lcnr | -3/+2 |
| 2023-04-08 | Enforce that PointerLike requires a pointer-like ABI | Michael Goulet | -2/+1 |
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -0/+1 |
| 2023-03-29 | Introduce `DeepRejectCtxt::substs_refs_may_unify`. | Nicholas Nethercote | -5/+4 |
| 2023-03-27 | Add a builtin `FnPtr` trait | lcnr | -3/+13 |
| 2023-03-24 | Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnr | Matthias Krüger | -0/+14 |
| 2023-03-22 | Implement non-const Destruct trait in new solver | Michael Goulet | -0/+14 |
| 2023-03-21 | new solver cleanup + coherence | lcnr | -3/+24 |
| 2023-03-17 | replace chain with two `add_goal` | Boxy | -16/+11 |
| 2023-03-17 | fix let else unformatting | Boxy | -5/+9 |
| 2023-03-16 | replace usage of `evaluate_goal` with a new `add_goal` | Boxy | -62/+60 |
| 2023-03-13 | Better names? | Michael Goulet | -1/+1 |
| 2023-03-13 | Treat projections with infer as placeholder during fast reject in new solver | Michael Goulet | -1/+7 |
| 2023-03-10 | Move some solver stuff to middle | Michael Goulet | -2/+2 |
| 2023-02-25 | Rollup merge of #108333 - compiler-errors:new-solver-object-sound, r=lcnr | Michael Goulet | -0/+40 |
| 2023-02-24 | Make higher-ranked projections in object types work in new solver | Michael Goulet | -1/+2 |
