| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-11 | Rename some things | Michael Goulet | -36/+35 |
| 2024-06-11 | Make ObligationEmittingRelation deal with Goals only | Michael Goulet | -25/+64 |
| 2024-06-11 | Get rid of PredicateObligations | Michael Goulet | -10/+10 |
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -48/+166 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -8/+3 |
| 2024-06-05 | bivariant alias: set `has_unconstrained_ty_var` | lcnr | -2/+10 |
| 2024-06-01 | Simplify IntVarValue/FloatVarValue | Michael Goulet | -64/+25 |
| 2024-05-30 | Auto merge of #125671 - BoxyUwU:remove_const_ty_eq, r=compiler-errors | bors | -8/+1 |
| 2024-05-29 | Partially implement `ConstArgHasType` | Boxy | -8/+1 |
| 2024-05-28 | Remove Trace | Michael Goulet | -0/+11 |
| 2024-05-24 | Use regular type equating instead of a custom query | Oli Scherer | -29/+7 |
| 2024-05-24 | Fail relating constants of different types | Oli Scherer | -8/+5 |
| 2024-05-16 | Uplift Goal to rustc_type_ir | Michael Goulet | -5/+5 |
| 2024-05-16 | Make P parameter explicit | Michael Goulet | -5/+20 |
| 2024-05-16 | Rename ToPredicate for Upcast | Michael Goulet | -6/+6 |
| 2024-05-13 | Auto merge of #125076 - compiler-errors:alias-term, r=lcnr | bors | -1/+1 |
| 2024-05-13 | split out AliasTy -> AliasTerm | Michael Goulet | -1/+1 |
| 2024-05-13 | Remove `extern crate rustc_middle` from `rustc_infer`. | Nicholas Nethercote | -0/+2 |
| 2024-05-10 | Use fewer origins when creating type variables. | Nicholas Nethercote | -14/+5 |
| 2024-05-07 | generalize hr alias: avoid unconstrainable infer vars | lcnr | -4/+40 |
| 2024-04-16 | Auto merge of #123537 - compiler-errors:shallow, r=lcnr | bors | -2/+2 |
| 2024-04-15 | Simplify shallow resolver to just fold ty/consts | Michael Goulet | -2/+2 |
| 2024-04-15 | Remove TypeVariableOriginKind | Michael Goulet | -15/+8 |
| 2024-03-07 | Rollup merge of #122142 - lcnr:rustc_infer-cleanup, r=compiler-errors | Guillaume Gomez | -1/+1 |
| 2024-03-07 | move snapshot handling into mod | lcnr | -1/+1 |
| 2024-03-07 | improve debug logging | Lukas Markeffsky | -1/+1 |
| 2024-03-01 | Don't grab variances if we're invariant | Michael Goulet | -1/+21 |
| 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 | -49/+17 |
| 2024-03-01 | Remove a_is_expected from combine relations | Michael Goulet | -58/+41 |
| 2024-03-01 | Remove cause | Michael Goulet | -23/+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 | 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-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -30/+133 |
| 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 | remove `sub_relations` from infcx, recompute in diagnostics | lcnr | -12/+4 |
| 2024-02-21 | Inline NllTypeRelating into its only usage site | Michael Goulet | -575/+5 |
| 2024-02-21 | Make TypeRelating more NLL-specific | Michael Goulet | -9/+9 |
| 2024-02-21 | Yeet QueryTypeRelatingDelegate | Michael Goulet | -17/+5 |
| 2024-02-21 | Rollup merge of #121359 - lcnr:typesystem-cleanup, r=compiler-errors | León Orell Valerian Liehr | -64/+83 |
| 2024-02-21 | Convert `bug`s back to `delayed_bug`s. | Nicholas Nethercote | -1/+1 |
| 2024-02-21 | Convert `delayed_bug`s to `bug`s. | Nicholas Nethercote | -5/+3 |
| 2024-02-20 | some type system cleanup | lcnr | -64/+83 |
| 2024-02-20 | Rollup merge of #121319 - compiler-errors:err, r=oli-obk | Nilstrieb | -0/+5 |
| 2024-02-19 | return ty::Error when equating ty::Error | Michael Goulet | -0/+5 |
| 2024-02-17 | yeet `GeneralizerDelegate` | lcnr | -126/+52 |
