| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -345/+4 |
| 2024-07-08 | Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr | 许杰友 Jieyou Xu (Joe) | -0/+4 |
| 2024-07-07 | Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnr | bors | -15/+5 |
| 2024-07-07 | Uplift elaboration | Michael Goulet | -345/+4 |
| 2024-07-07 | Make push_outlives_components into a visitor | Michael Goulet | -6/+1 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -0/+4 |
| 2024-07-06 | Don't track visited outlives bounds when decomposing verify for alias | Michael Goulet | -22/+14 |
| 2024-07-06 | Rollup merge of #127417 - chenyukang:yukang-method-output-diff, r=oli-obk | Michael Goulet | -2/+4 |
| 2024-07-06 | Rollup merge of #127405 - compiler-errors:uplift-predicate-emitting-relation,... | Michael Goulet | -39/+15 |
| 2024-07-06 | Rollup merge of #127386 - compiler-errors:uplift-outlives-components, r=lcnr | Michael Goulet | -273/+6 |
| 2024-07-06 | Auto merge of #127388 - compiler-errors:elaboration-tweaks, r=lcnr | bors | -18/+29 |
| 2024-07-06 | show fnsig's output when there is difference | yukang | -8/+3 |
| 2024-07-06 | Import via rustc_type_ir::outlives | Michael Goulet | -5/+3 |
| 2024-07-06 | Uplift push_outlives_components | Michael Goulet | -270/+5 |
| 2024-07-06 | Uplift PredicateEmittingRelation first | Michael Goulet | -39/+15 |
| 2024-07-06 | show unit output when there is only output diff in diagnostics | yukang | -2/+9 |
| 2024-07-05 | Split out transitive_bounds_that_define_assoc_item | Michael Goulet | -14/+25 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -0/+173 |
| 2024-07-05 | Supertrait elaboration doesn't need to use Predicates | Michael Goulet | -5/+5 |
| 2024-07-05 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -17/+3 |
| 2024-07-05 | Process alias-relate obligations when proving receiver_is_valid | Michael Goulet | -0/+4 |
| 2024-07-04 | Use shorter span for float literal suggestion | Esteban Küber | -3/+3 |
| 2024-07-02 | Instance::resolve -> Instance::try_resolve, and other nits | Michael Goulet | -1/+1 |
| 2024-07-01 | Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercote | bors | -49/+37 |
| 2024-06-27 | Make queries more explicit | Michael Goulet | -4/+4 |
| 2024-06-26 | Automatically taint InferCtxt when errors are emitted | Oli Scherer | -32/+20 |
| 2024-06-26 | Restrict diagnostic context lifetime of InferCtxt to itself instead of TyCtxt | Oli Scherer | -8/+8 |
| 2024-06-26 | Restrict diagnostic context lifetime of TypeErrCtxt to InferCtxt instead of T... | Oli Scherer | -6/+6 |
| 2024-06-26 | Restrict diagnostic context lifetime of FnCtxt to InferCtxt instead of TyCtxt | Oli Scherer | -3/+3 |
| 2024-06-25 | Rollup merge of #126915 - SparkyPotato:fix-126903, r=compiler-errors | Matthias Krüger | -2/+4 |
| 2024-06-24 | don't suggest awaiting type expr patterns | SparkyPotato | -2/+4 |
| 2024-06-24 | Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr... | Michael Goulet | -2/+2 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -12/+12 |
| 2024-06-20 | Add blank lines after module-level `//!` comments. | Nicholas Nethercote | -0/+3 |
| 2024-06-19 | Allow constraining opaque types during subtyping in the trait system | Oli Scherer | -2/+2 |
| 2024-06-18 | Auto merge of #126614 - compiler-errors:uplift-next-trait-solver, r=lcnr | bors | -145/+6 |
| 2024-06-18 | Remove redundant argument from `subdiagnostic` method | Oli Scherer | -18/+17 |
| 2024-06-18 | Use a dedicated type instead of a reference for the diagnostic context | Oli Scherer | -5/+6 |
| 2024-06-18 | SolverDelegate | Michael Goulet | -145/+6 |
| 2024-06-18 | Prefer `dcx` methods over fields or fields' methods | Oli Scherer | -1/+1 |
| 2024-06-16 | rustc_span: Minor improvements | Vadim Petrochenkov | -2/+2 |
| 2024-06-15 | Rollup merge of #126496 - compiler-errors:more-generics, r=lcnr | Guillaume Gomez | -0/+4 |
| 2024-06-15 | Rollup merge of #126354 - compiler-errors:variance, r=lcnr | Matthias Krüger | -35/+23 |
| 2024-06-14 | Make proof tree probing generic | Michael Goulet | -0/+4 |
| 2024-06-14 | Rollup merge of #124884 - bvanjoi:fix-124785, r=estebank | Matthias Krüger | -3/+15 |
| 2024-06-13 | Address nits | Michael Goulet | -29/+41 |
| 2024-06-13 | Fix some TODOs | Michael Goulet | -0/+8 |
| 2024-06-13 | Finish uplifting all of structural_traits | Michael Goulet | -15/+106 |
| 2024-06-13 | Rework most of structural_traits to be Interner-agnostic | Michael Goulet | -1/+20 |
| 2024-06-12 | Rollup merge of #126353 - compiler-errors:move-match, r=lcnr | Jubilee | -123/+0 |
