| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-02-28 | Rename `DiagnosticArg{,Map,Name,Value}` as `DiagArg{,Map,Name,Value}`. | Nicholas Nethercote | -6/+6 |
| 2024-02-28 | Rename `DiagnosticBuilder` as `Diag`. | Nicholas Nethercote | -85/+70 |
| 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 |
| 2024-02-21 | Rollup merge of #121206 - nnethercote:top-level-error-handling, r=oli-obk | Matthias Krüger | -3/+6 |
| 2024-02-22 | Adjust the `has_errors*` methods. | Nicholas Nethercote | -3/+6 |
| 2024-02-21 | Inline NllTypeRelating into its only usage site | Michael Goulet | -576/+5 |
| 2024-02-21 | Make TypeRelating more NLL-specific | Michael Goulet | -9/+9 |
| 2024-02-21 | Yeet QueryTypeRelatingDelegate | Michael Goulet | -102/+18 |
| 2024-02-21 | Rollup merge of #121359 - lcnr:typesystem-cleanup, r=compiler-errors | León Orell Valerian Liehr | -64/+83 |
| 2024-02-21 | Rollup merge of #121328 - ffmancera:ff/verbose_long_type, r=compiler-errors | Dylan DPC | -0/+1 |
| 2024-02-21 | Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnr | Dylan DPC | -5/+3 |
| 2024-02-21 | Convert `bug`s back to `delayed_bug`s. | Nicholas Nethercote | -3/+7 |
| 2024-02-21 | Convert `delayed_bug`s to `bug`s. | Nicholas Nethercote | -11/+5 |
| 2024-02-20 | Suggest using --verbose when writing type to a file | Fernando Fernandez Mancera | -0/+1 |
| 2024-02-20 | some type system cleanup | lcnr | -64/+83 |
| 2024-02-20 | Rollup merge of #121344 - fmease:lta-constr-by-input, r=oli-obk | Matthias Krüger | -3/+3 |
| 2024-02-20 | Expand weak alias types before collecting constrained and referenced late bou... | León Orell Valerian Liehr | -3/+3 |
| 2024-02-20 | Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav... | bors | -40/+48 |
| 2024-02-20 | Rollup merge of #121319 - compiler-errors:err, r=oli-obk | Nilstrieb | -0/+5 |
| 2024-02-20 | Rollup merge of #121307 - estebank:drive-by, r=compiler-errors | Nilstrieb | -1/+1 |
| 2024-02-19 | return ty::Error when equating ty::Error | Michael Goulet | -0/+5 |
| 2024-02-19 | Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU | bors | -526/+334 |
| 2024-02-19 | Drive-by `DUMMY_SP` -> `Span` and fmt changes | Esteban Küber | -1/+1 |
| 2024-02-19 | Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers. | Nicholas Nethercote | -40/+48 |
| 2024-02-18 | By tracking import use types to check whether it is scope uses or the other s... | surechen | -1/+1 |
| 2024-02-17 | Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercote | Matthias Krüger | -19/+20 |
| 2024-02-17 | yeet `GeneralizerDelegate` | lcnr | -126/+52 |
| 2024-02-17 | use `instantiate_ty_var` in nll | lcnr | -192/+47 |
| 2024-02-17 | move ty var instantiation into the generalize module | lcnr | -211/+233 |
| 2024-02-17 | add fixme | lcnr | -0/+3 |
| 2024-02-17 | rename `needs_wf` and clarify comment | lcnr | -54/+56 |
| 2024-02-16 | Move trait into attr so it's greppable | Michael Goulet | -6/+6 |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -38/+10 |
| 2024-02-16 | Auto merge of #120500 - oli-obk:intrinsics2.0, r=WaffleLapkin | bors | -3/+3 |
| 2024-02-15 | Remove a suggestion that is redundant | Michael Goulet | -13/+0 |
| 2024-02-15 | Only point out non-diverging arms for match suggestions | Michael Goulet | -9/+15 |
