| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -2/+2 |
| 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 |
| 2023-11-25 | Rollup merge of #118288 - compiler-errors:is_some_and, r=lqd,dtolnay | Michael Goulet | -6/+14 |
| 2023-11-25 | Rollup merge of #117871 - klensy:unused-pub, r=cjgillot | Guillaume Gomez | -1/+1 |
| 2023-11-25 | is_{some,ok}_and | Michael Goulet | -6/+14 |
| 2023-11-24 | AmbiguityCause should not eagerly format strings | Michael Goulet | -24/+15 |
| 2023-11-23 | fix intercrate ambiguity causes | lcnr | -2/+4 |
| 2023-11-23 | review | klensy | -2/+1 |
| 2023-11-23 | few more | klensy | -0/+1 |
| 2023-11-21 | Rollup merge of #118115 - spastorino:fix-old-fn-names, r=compiler-errors | Nilstrieb | -1/+1 |
| 2023-11-20 | Fix occurrences of old fn names in comment and tracing | Santiago Pastorino | -1/+1 |
| 2023-11-20 | Rollup merge of #118089 - lcnr:intercrate-ambig-msg, r=compiler-errors | Matthias Krüger | -1/+23 |
| 2023-11-20 | Don't require intercrate mode for negative coherence | Michael Goulet | -1/+7 |
| 2023-11-20 | Don't drop region constraints that come from plugging infer regions with plac... | Michael Goulet | -7/+7 |
| 2023-11-20 | handle reservation impls, track impl source | lcnr | -1/+23 |
| 2023-11-19 | Rollup merge of #118000 - compiler-errors:placeholder-ty-outlives, r=aliemjay | Michael Goulet | -2/+8 |
