| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-04-22 | Expect that equating a projection term always succeeds in new solver | Michael Goulet | -5/+10 |
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -1/+1 |
| 2023-04-10 | Support safe transmute in new solver | Michael Goulet | -0/+7 |
| 2023-04-10 | move `structural_traits` into `assembly` | lcnr | -2/+1 |
| 2023-03-31 | Auto merge of #109762 - scottmcm:variantdef-indexvec, r=WaffleLapkin | bors | -1/+1 |
| 2023-03-30 | Rollup merge of #109679 - compiler-errors:normalizes-to-hack-2, r=lcnr,BoxyUwU | Michael Goulet | -10/+1 |
| 2023-03-30 | Update `ty::VariantDef` to use `IndexVec<FieldIdx, FieldDef>` | Scott McMurray | -1/+1 |
| 2023-03-30 | Rollup merge of #109748 - compiler-errors:new-solver-discr-kind-ice, r=lcnr | Yuki Okushi | -5/+43 |
| 2023-03-30 | Check pointee metadata correctly in ui test | Michael Goulet | -3/+1 |
| 2023-03-30 | Don't ICE on DiscriminantKind projection in new solver | Michael Goulet | -2/+42 |
| 2023-03-29 | Rollup merge of #109511 - compiler-errors:eval-ctxt-infcx-private, r=lcnr | Matthias Krüger | -9/+7 |
| 2023-03-29 | Freshen normalizes-to hack goal RHS in the evaluate loop | Michael Goulet | -10/+1 |
| 2023-03-29 | Introduce `DeepRejectCtxt::substs_refs_may_unify`. | Nicholas Nethercote | -4/+1 |
| 2023-03-27 | Add a builtin `FnPtr` trait | lcnr | -0/+7 |
| 2023-03-25 | Still-further-specializable projections are ambiguous | Michael Goulet | -1/+1 |
| 2023-03-24 | Make EvalCtxt's infcx private | Michael Goulet | -9/+7 |
| 2023-03-24 | Rollup merge of #109495 - compiler-errors:new-solver-destruct, r=eholk,lcnr | Matthias Krüger | -0/+7 |
| 2023-03-22 | Implement non-const Destruct trait in new solver | Michael Goulet | -0/+7 |
| 2023-03-21 | new solver cleanup + coherence | lcnr | -1/+5 |
| 2023-03-17 | UNACEPTABLE | Boxy | -1/+1 |
