| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-07 | improve debug logging | Lukas Markeffsky | -1/+1 |
| 2024-03-06 | Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obk | bors | -1/+18 |
| 2024-03-06 | Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgr | bors | -2/+13 |
| 2024-03-05 | Use `ControlFlow` in HIR visitors | Jason Newcomb | -94/+85 |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -50/+23 |
| 2024-03-05 | Stop using Bubble in coherence and instead emulate it with an intercrate check | Oli Scherer | -2/+13 |
| 2024-03-05 | Rename `SubdiagnosticMessageOp` as `SubdiagMessageOp`. | Nicholas Nethercote | -14/+12 |
| 2024-03-05 | Rename `DiagnosticMessage` as `DiagMessage`. | Nicholas Nethercote | -5/+5 |
| 2024-03-03 | Remove unused fluent messages | r0cky | -8/+0 |
| 2024-03-02 | Auto merge of #121864 - compiler-errors:type-relating-variances, r=aliemjay | bors | -1/+21 |
| 2024-03-01 | Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ... | Matthias Krüger | -6/+10 |
| 2024-03-01 | Rollup merge of #121153 - chenyukang:yukang-fix-105431-type-mismatch, r=estebank | Matthias Krüger | -0/+97 |
| 2024-03-01 | Don't grab variances if we're invariant | Michael Goulet | -1/+21 |
| 2024-03-01 | Rollup merge of #121416 - veera-sivarajan:bugfix-120785, r=nnethercote | Matthias Krüger | -4/+17 |
| 2024-03-01 | Rebase fallout from TypeRelating::binders, inline higher_ranked_sub | Michael Goulet | -66/+51 |
| 2024-03-01 | Fallout from removing a_is_expected | Michael Goulet | -62/+18 |
| 2024-03-01 | Remove a_is_expected from combine relations | Michael Goulet | -127/+71 |
| 2024-03-01 | Get rid of some sub_exp and eq_exp | Michael Goulet | -9/+9 |
| 2024-03-01 | Remove cause | Michael Goulet | -24/+2 |
| 2024-03-01 | Combine sub and eq | Michael Goulet | -485/+350 |
| 2024-03-01 | Preserve variance on error in generalizer | Michael Goulet | -2/+2 |
| 2024-02-29 | Auto merge of #118247 - spastorino:type-equality-subtyping, r=lcnr | bors | -6/+29 |
| 2024-02-29 | Change condition in binders to one that is more readable | Santiago Pastorino | -5/+5 |
| 2024-02-29 | Make infer higher ranked equate use bidirectional subtyping in invariant context | Santiago Pastorino | -2/+25 |
| 2024-02-29 | Rollup merge of #121669 - nnethercote:count-stashed-errs-again, r=estebank | Guillaume Gomez | -16/+0 |
| 2024-02-29 | distinguish recursion limit based overflow for diagnostics | lcnr | -6/+10 |
| 2024-02-29 | renaming test cases | yukang | -6/+6 |
| 2024-02-28 | Improve error messages for generics with default parameters | Veera | -4/+17 |
| 2024-02-29 | Suggest removing superfluous semicolos when statements used as expressions | yukang | -0/+97 |
| 2024-02-29 | Overhaul how stashed diagnostics work, again. | Nicholas Nethercote | -16/+0 |
| 2024-02-29 | Rollup merge of #121743 - compiler-errors:opportunistically-resolve-regions, ... | Matthias Krüger | -1/+9 |
| 2024-02-28 | Opportunistically resolve regions when processing region outlives obligations | Michael Goulet | -1/+9 |
| 2024-02-28 | Rename `DiagnosticStyledString` as `DiagStyledString`. | Nicholas Nethercote | -42/+35 |
| 2024-02-28 | Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`. | Nicholas Nethercote | -11/+11 |
| 2024-02-28 | Rename `DiagnosticBuilder` as `Diag`. | Nicholas Nethercote | -103/+86 |
| 2024-02-27 | when defining opaques, require the hidden type to be well-formed | lcnr | -1/+18 |
| 2024-02-27 | Avoid a `span_delayed_bug` in `TypeErrCtxt::report_region_errors`. | Nicholas Nethercote | -31/+31 |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -31/+151 |
| 2024-02-24 | Auto merge of #121549 - matthiaskrgr:rollup-1hvu3lb, r=matthiaskrgr | bors | -0/+8 |
| 2024-02-24 | Rollup merge of #121435 - estebank:rpitit-static-119773, r=compiler-errors | Matthias Krüger | -0/+8 |
| 2024-02-23 | compiler: clippy::complexity fixes | Matthias Krüger | -1/+1 |
| 2024-02-23 | Auto merge of #121491 - matthiaskrgr:rollup-wkzqawy, r=matthiaskrgr | bors | -18/+24 |
| 2024-02-23 | Auto merge of #121442 - lcnr:region-var-universe-uwu, r=compiler-errors | bors | -52/+85 |
| 2024-02-23 | Rollup merge of #121479 - lcnr:fix-generalize, r=compiler-errors | Matthias Krüger | -18/+24 |
| 2024-02-22 | fix CI | lcnr | -2/+2 |
| 2024-02-22 | woops, soundly generalizing is hard | lcnr | -18/+24 |
| 2024-02-22 | Account for RPITIT in E0310 explicit lifetime constraint suggestion | Esteban Küber | -0/+8 |
| 2024-02-22 | region unification update universe of region vars | lcnr | -52/+85 |
| 2024-02-22 | freshen: resolve root vars | lcnr | -67/+69 |
| 2024-02-22 | remove `sub_relations` from infcx, recompute in diagnostics | lcnr | -144/+115 |
