| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 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 |
