| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -1/+1 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -449/+1 |
| 2024-07-07 | Add fundamental to trait def | Michael Goulet | -1/+1 |
| 2024-06-30 | Uplift fast rejection to new solver | Michael Goulet | -1/+1 |
| 2024-06-15 | trait_selection: remove extra words | 许杰友 Jieyou Xu (Joe) | -2/+2 |
| 2024-06-11 | Get rid of PredicateObligations | Michael Goulet | -4/+2 |
| 2024-06-06 | Auto merge of #125958 - BoxyUwU:remove_const_ty, r=lcnr | bors | -1/+0 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -1/+0 |
| 2024-06-05 | Rollup merge of #125871 - fmease:fix-orphanck-opaques, r=lcnr | Matthias Krüger | -35/+24 |
| 2024-06-04 | Orphanck: Consider opaque types to never cover type parameters | León Orell Valerian Liehr | -35/+24 |
| 2024-06-03 | Opt-in diagnostics reporting to avoid doing extra work in the new solver | Michael Goulet | -1/+1 |
| 2024-06-03 | Make TraitEngines generic over error | Michael Goulet | -1/+1 |
| 2024-05-13 | Auto merge of #125076 - compiler-errors:alias-term, r=lcnr | bors | -2/+2 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -2/+2 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_trait_selection`. | Nicholas Nethercote | -0/+1 |
| 2024-05-02 | Use ObligationCtxt in favor of TraitEngine in many places | Michael Goulet | -41/+38 |
| 2024-05-02 | shallow resolve in orphan check | lcnr | -27/+26 |
| 2024-04-30 | Auto merge of #117164 - fmease:orphan-norm, r=lcnr | bors | -65/+112 |
| 2024-04-30 | Normalize trait ref before orphan check & consider ty params in alias types t... | León Orell Valerian Liehr | -65/+112 |
| 2024-04-29 | Actually use probes when needed and stop relying on existing outer probes | Michael Goulet | -3/+2 |
| 2024-04-25 | hir typeck: look into nested goals | lcnr | -3/+7 |
| 2024-04-15 | Simplify shallow resolver to just fold ty/consts | Michael Goulet | -1/+1 |
| 2024-04-08 | Actually create ranged int types in the type system. | Oli Scherer | -0/+1 |
| 2024-04-04 | Use `DefineOpaqueTypes::Yes` where the new solver is unconditionally used alr... | Oli Scherer | -3/+7 |
| 2024-04-03 | rustc_index: Add a `ZERO` constant to index types | Vadim Petrochenkov | -5/+1 |
| 2024-03-31 | Remove EvaluatedToErrStackDependent | Michael Goulet | -1/+1 |
| 2024-03-06 | Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgr | bors | -2/+0 |
| 2024-03-05 | Convert `ProofTreeVisitor` to use `VisitorResult` | Jason Newcomb | -7/+4 |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -12/+9 |
| 2024-03-05 | Stop using Bubble in coherence and instead emulate it with an intercrate check | Oli Scherer | -2/+0 |
| 2024-02-29 | track overflowing goals for overfow errors | lcnr | -27/+78 |
| 2024-02-28 | Rename `DiagnosticBuilder` as `Diag`. | Nicholas Nethercote | -2/+2 |
| 2024-02-25 | Rollup merge of #121060 - clubby789:bool-newtypes, r=cjgillot | Matthias Krüger | -3/+18 |
| 2024-02-23 | delay cloning of iterator items | Matthias Krüger | -16/+19 |
| 2024-02-20 | Add newtype for first input type | clubby789 | -3/+18 |
| 2024-02-19 | Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers. | Nicholas Nethercote | -2/+2 |
| 2024-02-16 | Use fulfillment in next trait solver coherence | Michael Goulet | -34/+36 |
| 2024-02-12 | Dejargnonize subst | Shoyu Vanilla | -9/+9 |
| 2024-02-08 | introduce `enter_forall` | Boxy | -1/+1 |
| 2024-02-06 | Add CoroutineClosure to TyKind, AggregateKind, UpvarArgs | Michael Goulet | -1/+1 |
| 2024-01-30 | Deeply normalize when processing registered region obligations | Michael Goulet | -0/+1 |
| 2024-01-08 | Make inductive cycles in coherence ambiguous always | Michael Goulet | -58/+6 |
| 2023-12-15 | Rollup merge of #118727 - compiler-errors:lint-decorate, r=WaffleLapkin | Jubilee | -1/+0 |
| 2023-12-15 | Don't pass lint back out of lint decorator | Michael Goulet | -1/+0 |
| 2023-12-15 | Annotate some bugs | Michael Goulet | -3/+3 |
| 2023-12-14 | update use of feature flags | lcnr | -2/+2 |
| 2023-12-05 | Rollup merge of #118346 - compiler-errors:deeply-normalize-for-diagnostic, r=... | Michael Goulet | -2/+12 |
| 2023-12-05 | Add more | Michael Goulet | -1/+1 |
| 2023-12-05 | Add deeply_normalize_for_diagnostics, use it in coherence | Michael Goulet | -2/+12 |
| 2023-11-26 | Auto merge of #118267 - compiler-errors:ambiguity-causes, r=spastorino | bors | -24/+15 |
