| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-07-12 | Rollup merge of #127631 - compiler-errors:yeet-fully-norm, r=lcnr | Jubilee | -61/+22 |
| 2024-07-11 | Remove fully_normalize | Michael Goulet | -61/+22 |
| 2024-07-11 | Allows `#[diagnostic::do_not_recommend]` to supress trait impls in suggestion... | Georg Semmler | -0/+19 |
| 2024-07-10 | Rollup merge of #127570 - lcnr:normalize-cool, r=compiler-errors | Matthias Krüger | -8/+5 |
| 2024-07-10 | simplify and future-proof `needs_normalization` | lcnr | -8/+5 |
| 2024-07-10 | instantiate higher ranked goals in candidate selection | lcnr | -54/+12 |
| 2024-07-09 | Split out fulfillment error reporting a bit more | Michael Goulet | -207/+220 |
| 2024-07-09 | Move some stuff into the ambiguity and suggestion modules | Michael Goulet | -734/+742 |
| 2024-07-09 | Split out overflow handling into its own module | Michael Goulet | -185/+206 |
| 2024-07-08 | Move trait selection error reporting to its own top-level module | Michael Goulet | -76/+80 |
| 2024-07-08 | Rollup merge of #127439 - compiler-errors:uplift-elaborate, r=lcnr | 许杰友 Jieyou Xu (Joe) | -9/+1 |
| 2024-07-08 | Rollup merge of #127437 - compiler-errors:uplift-trait-ref-is-knowable, r=lcnr | 许杰友 Jieyou Xu (Joe) | -460/+3 |
| 2024-07-07 | Auto merge of #127172 - compiler-errors:full-can_eq-everywhere, r=lcnr | bors | -8/+18 |
| 2024-07-07 | Finish uplifting supertraits | Michael Goulet | -8/+0 |
| 2024-07-07 | Get rid of trait_ref_is_knowable from delegate | Michael Goulet | -10/+0 |
| 2024-07-07 | Uplift trait_ref_is_knowable and friends | Michael Goulet | -450/+3 |
| 2024-07-07 | Add fundamental to trait def | Michael Goulet | -1/+1 |
| 2024-07-07 | iter_identity is a better name | Michael Goulet | -1/+1 |
| 2024-07-07 | Auto merge of #127404 - compiler-errors:rpitit-entailment-false-positive, r=o... | bors | -0/+4 |
| 2024-07-06 | Don't try to label ObligationCauseCode::CompareImplItem for an RPITIT, since ... | Michael Goulet | -0/+4 |
| 2024-07-06 | Import via rustc_type_ir::outlives | Michael Goulet | -1/+1 |
| 2024-07-06 | Uplift push_outlives_components | Michael Goulet | -1/+1 |
| 2024-07-05 | Rollup merge of #127366 - oli-obk:falliblevisitor, r=compiler-errors | Michael Goulet | -4/+3 |
| 2024-07-05 | Split SolverDelegate back out from InferCtxtLike | Michael Goulet | -169/+2 |
| 2024-07-05 | Actually just make can_eq process obligations (almost) everywhere | Michael Goulet | -8/+18 |
| 2024-07-05 | Use `ControlFlow` results for visitors that are only looking for a single value | Oli Scherer | -4/+3 |
| 2024-07-03 | Auto merge of #125507 - compiler-errors:type-length-limit, r=lcnr | bors | -4/+5 |
| 2024-07-03 | Rollup merge of #126403 - compiler-errors:better-type-errors, r=lcnr | Jacob Pratt | -48/+101 |
| 2024-07-03 | Auto merge of #123737 - compiler-errors:alias-wf, r=lcnr | bors | -9/+3 |
| 2024-07-02 | Actually report normalization-based type errors correctly for alias-relate ob... | Michael Goulet | -48/+101 |
| 2024-07-02 | Fix spans | Michael Goulet | -1/+2 |
| 2024-07-02 | Miscellaneous renaming | Michael Goulet | -3/+3 |
| 2024-07-02 | Rollup merge of #127230 - hattizai:patch01, r=saethlin | Matthias Krüger | -2/+2 |
| 2024-07-02 | Rollup merge of #127146 - compiler-errors:fast-reject, r=lcnr | Matthias Krüger | -2/+2 |
| 2024-07-02 | chore: remove duplicate words | hattizai | -2/+2 |
| 2024-07-01 | Auto merge of #126996 - oli-obk:do_not_count_errors, r=nnethercote | bors | -19/+19 |
| 2024-06-30 | Rollup merge of #127131 - Kobzol:remove-unused-deps, r=compiler-errors | Matthias Krüger | -4/+0 |
| 2024-06-30 | Uplift fast rejection to new solver | Michael Goulet | -2/+2 |
| 2024-06-29 | Remove unused compiler dependencies | Jakub Beránek | -4/+0 |
| 2024-06-29 | Auto merge of #120639 - fee1-dead-contrib:new-effects-desugaring, r=oli-obk | bors | -0/+6 |
| 2024-06-28 | implement new effects desugaring | Deadbeef | -0/+6 |
| 2024-06-27 | Make queries more explicit | Michael Goulet | -5/+5 |
| 2024-06-26 | Automatically taint InferCtxt when errors are emitted | Oli Scherer | -2/+2 |
| 2024-06-26 | Restrict diagnostic context lifetime of InferCtxt to itself instead of TyCtxt | Oli Scherer | -3/+3 |
| 2024-06-26 | Restrict diagnostic context lifetime of TypeErrCtxt to InferCtxt instead of T... | Oli Scherer | -14/+14 |
| 2024-06-25 | Auto merge of #125610 - oli-obk:define_opaque_types14, r=compiler-errors | bors | -4/+4 |
| 2024-06-25 | Auto merge of #126813 - compiler-errors:SliceLike, r=lcnr | bors | -17/+35 |
| 2024-06-24 | Split out IntoIterator and non-Iterator constructors for AliasTy/AliasTerm/Tr... | Michael Goulet | -17/+35 |
| 2024-06-24 | Suggest inline const blocks for array initialization | Pavel Grigorenko | -33/+7 |
| 2024-06-21 | Rename a bunch of things | Michael Goulet | -24/+24 |
