| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-06 | Uplift TypeRelation and Relate | Michael Goulet | -5/+2 |
| 2024-06-05 | Add `Ty` to `ConstKind::Value` | Boxy | -3/+6 |
| 2024-06-05 | Basic removal of `Ty` from places (boring) | Boxy | -37/+16 |
| 2024-06-04 | Auto merge of #123536 - compiler-errors:simplify-int-float, r=lcnr | bors | -56/+74 |
| 2024-06-04 | Rollup merge of #125865 - ajwock:ice_not_fully_resolved, r=fee1-dead | Michael Goulet | -0/+2 |
| 2024-06-03 | Align Term methods with GenericArg methods | Michael Goulet | -2/+2 |
| 2024-06-03 | Nits and formatting | Michael Goulet | -3/+2 |
| 2024-06-03 | Make TraitEngines generic over error | Michael Goulet | -3/+4 |
| 2024-06-03 | Remove unnecessary extension trait | Michael Goulet | -1/+1 |
| 2024-06-03 | Fix ICE caused by ignoring EffectVars in type inference | Andrew Wock | -0/+2 |
| 2024-06-01 | Address nits | Michael Goulet | -4/+4 |
| 2024-06-01 | Inline fold_infer_ty | Michael Goulet | -35/+35 |
| 2024-06-01 | Simplify IntVarValue/FloatVarValue | Michael Goulet | -29/+47 |
| 2024-05-28 | Remove Trace | Michael Goulet | -15/+0 |
| 2024-05-24 | Revert "Rollup merge of #123979 - oli-obk:define_opaque_types7, r=compiler-er... | Oli Scherer | -15/+2 |
| 2024-05-20 | Rework var resolution in InferCtxtLike, uplift EagerResolver | Michael Goulet | -17/+27 |
| 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/+1 |
| 2024-05-10 | Rename some ObligationCauseCode variants | Michael Goulet | -1/+1 |
| 2024-05-10 | Rollup merge of #124955 - nnethercote:next_ty_var, r=lcnr | Matthias Krüger | -47/+31 |
| 2024-05-10 | Fix out-of-date comment. | Nicholas Nethercote | -2/+2 |
| 2024-05-10 | Use fewer origins when creating type variables. | Nicholas Nethercote | -27/+22 |
| 2024-05-10 | Inline and remove unused methods. | Nicholas Nethercote | -24/+13 |
| 2024-04-29 | Remove `extern crate rustc_data_structures` from numerous crates. | Nicholas Nethercote | -1/+1 |
| 2024-04-29 | Remove `extern crate rustc_macros` from numerous crates. | Nicholas Nethercote | -2/+3 |
| 2024-04-20 | remove `InferCtxt::clear_caches` | Lukas Markeffsky | -9/+0 |
| 2024-04-18 | Auto merge of #124008 - nnethercote:simpler-static_assert_size, r=Nilstrieb | bors | -1/+1 |
| 2024-04-18 | Simplify `static_assert_size`s. | Nicholas Nethercote | -1/+1 |
| 2024-04-17 | Don't error on subtyping of equal types | Oli Scherer | -1/+1 |
| 2024-04-16 | Auto merge of #123537 - compiler-errors:shallow, r=lcnr | bors | -96/+70 |
| 2024-04-16 | Rollup merge of #123979 - oli-obk:define_opaque_types7, r=compiler-errors | Guillaume Gomez | -2/+15 |
| 2024-04-16 | Subtype predicates only exist on inference types, so we can allow them to reg... | Oli Scherer | -2/+15 |
| 2024-04-16 | Rollup merge of #123016 - compiler-errors:no-type-var-origin, r=lcnr | León Orell Valerian Liehr | -24/+6 |
| 2024-04-15 | Simplify shallow resolver to just fold ty/consts | Michael Goulet | -96/+70 |
| 2024-04-15 | Remove ConstVariableOriginKind | Michael Goulet | -12/+3 |
| 2024-04-15 | Remove TypeVariableOriginKind | Michael Goulet | -12/+3 |
| 2024-04-15 | PolyTraitRefs -> TraitRefs | Michael Goulet | -5/+5 |
| 2024-04-08 | Avoid fetching the opaque type origin when only "is this in the defining scop... | Oli Scherer | -1/+7 |
| 2024-04-08 | Eliminate `DefiningAnchor` now that is just a single-variant enum | Oli Scherer | -15/+19 |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -9/+7 |
| 2024-04-04 | Switch `can_eq` and `can_sub` to `DefineOpaqueTypes::Yes` | Oli Scherer | -2/+6 |
| 2024-04-03 | Check `x86_64` size assertions on `aarch64`, too | Zalathar | -1/+1 |
| 2024-03-27 | Stop doing expensive work in opt_suggest_box_span eagerly | Michael Goulet | -0/+9 |
| 2024-03-19 | Auto merge of #122392 - BoxyUwU:misc_cleanup, r=lcnr | bors | -1/+1 |
| 2024-03-18 | rename `instantiate_canonical_with_fresh_inference_vars` | Boxy | -1/+1 |
| 2024-03-18 | Avoid various uses of `Option<Span>` in favor of using `DUMMY_SP` in the few ... | Oli Scherer | -7/+4 |
| 2024-03-11 | Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch... | Oli Scherer | -4/+3 |
| 2024-03-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be constrain... | Oli Scherer | -3/+3 |
| 2024-03-07 | cleanup imports | lcnr | -25/+21 |
