| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-03-12 | Change `DefKind::Static` to a struct variant | Oli Scherer | -1/+1 |
| 2024-03-11 | Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch... | Oli Scherer | -8/+4 |
| 2024-03-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be constrain... | Oli Scherer | -60/+6 |
| 2024-03-11 | Rename `AddToDiagnostic` as `Subdiagnostic`. | Nicholas Nethercote | -38/+38 |
| 2024-03-11 | Rename `IntoDiagnosticArg` as `IntoDiagArg`. | Nicholas Nethercote | -20/+20 |
| 2024-03-10 | Rollup merge of #121860 - mu001999:master, r=Nilstrieb | Matthias Krüger | -8/+0 |
| 2024-03-08 | Rollup merge of #121563 - Jarcho:use_cf, r=petrochenkov | Matthias Krüger | -94/+85 |
| 2024-03-08 | Make TAITs capture all higher-ranked lifetimes in scope | Michael Goulet | -1/+1 |
| 2024-03-07 | Rollup merge of #122142 - lcnr:rustc_infer-cleanup, r=compiler-errors | Guillaume Gomez | -148/+139 |
| 2024-03-07 | cleanup imports | lcnr | -25/+21 |
| 2024-03-07 | move snapshot handling into mod | lcnr | -117/+120 |
| 2024-03-07 | move mod into folder | lcnr | -0/+0 |
| 2024-03-07 | remove empty folder | lcnr | -8/+0 |
| 2024-03-07 | Rollup merge of #121863 - lukas-code:silence-mismatched-super-projections, r=... | Guillaume Gomez | -1/+1 |
| 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 |
