| Age | Commit message (Expand) | Author | Lines |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -0/+1 |
| 2023-06-12 | extend assert | lcnr | -3/+3 |
| 2023-06-11 | Rollup merge of #112513 - compiler-errors:dont-compute-box-span-for-tait, r=c... | Matthias Krüger | -1/+19 |
| 2023-06-11 | Don't suggest boxing an empty if/else arm | Michael Goulet | -1/+19 |
| 2023-06-09 | split opaque type handling in new solver | lcnr | -36/+47 |
| 2023-06-09 | recompute opaque type origin | lcnr | -20/+11 |
| 2023-06-08 | Don't suggest cyclic associated type constraint | Michael Goulet | -0/+6 |
| 2023-06-08 | More robust as_ref/as_deref suggestions | Michael Goulet | -52/+3 |
| 2023-06-07 | Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnr | Dylan DPC | -27/+43 |
| 2023-06-07 | Auto merge of #111047 - compiler-errors:rtn-no-ty-ct-params, r=spastorino | bors | -1/+0 |
| 2023-06-06 | Fix comment for `get_region_var_origins` | Nilstrieb | -5/+5 |
| 2023-06-06 | Make TraitEngine::new use the right solver, add compare mode | Michael Goulet | -11/+9 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -27/+45 |
| 2023-06-05 | Remove redundant InferCtxtExt::fresh_item_substs | Michael Goulet | -1/+0 |
| 2023-06-02 | Normalize anon consts in new solver | Michael Goulet | -1/+1 |
| 2023-06-02 | No more TyCtxt::lazy_normalization | Michael Goulet | -1/+1 |
| 2023-06-01 | Rename `impl_defaultness` to `defaultness` | Deadbeef | -1/+1 |
| 2023-05-30 | change redundant `clear()` to assertion | lcnr | -4/+2 |
| 2023-05-30 | rework the leak_check to take the outer_universe | lcnr | -111/+106 |
| 2023-05-30 | coherence: don't add hidden types for opaques | lcnr | -10/+22 |
| 2023-05-30 | leak_check: remove unused codepath | lcnr | -26/+6 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -25/+28 |
| 2023-05-29 | Use `Cow` in `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -26/+30 |
| 2023-05-28 | Make EarlyBinder's inner value private; and fix all of the resulting errors | Kyle Matsuda | -1/+1 |
| 2023-05-26 | Auto merge of #111918 - compiler-errors:custom-type-ops-err, r=lcnr | bors | -2/+2 |
| 2023-05-25 | Ensure Fluent messages are in alphabetical order | clubby789 | -295/+296 |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -2/+2 |
| 2023-05-25 | Add InferCtxt::register_hidden_type_in_new_solver | Michael Goulet | -0/+23 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -14/+3 |
| 2023-05-25 | Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu... | Michael Goulet | -26/+57 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -7/+7 |
| 2023-05-20 | Rollup merge of #111450 - compiler-errors:opaque-ty-key, r=oli-obk | Guillaume Gomez | -6/+22 |
| 2023-05-18 | do not overwrite obligations | lcnr | -7/+6 |
| 2023-05-16 | Rollup merge of #111602 - tmiasko:erroneous-constant-used, r=oli-obk | Nilstrieb | -1/+1 |
| 2023-05-15 | Replace RelationDir with Variance | Michael Goulet | -63/+29 |
| 2023-05-15 | Rename super_relate_* to structurally_relate_* | Michael Goulet | -7/+7 |
| 2023-05-15 | Tweaks and a test | Michael Goulet | -51/+52 |
| 2023-05-15 | yeet ConstInferUnifier | Michael Goulet | -180/+63 |
| 2023-05-15 | Simplify delegate | Michael Goulet | -69/+70 |
| 2023-05-15 | Combine TypeGeneralizer and Generalizer | Michael Goulet | -588/+467 |
| 2023-05-15 | Auto merge of #111570 - compiler-errors:ct-err, r=BoxyUwU | bors | -2/+2 |
| 2023-05-15 | Suppress "erroneous constant used" for constants tainted by errors | Tomasz Miąsko | -1/+1 |
| 2023-05-14 | Rename const error methods for consistency | Michael Goulet | -2/+2 |
| 2023-05-13 | Rollup merge of #110454 - oli-obk:limited_impl_trait_in_assoc_type, r=compile... | Dylan DPC | -3/+17 |
| 2023-05-12 | Auto merge of #109732 - Urgau:uplift_drop_forget_ref_lints, r=davidtwco | bors | -1/+1 |
| 2023-05-12 | Use the opaque_types_defined_by query to cheaply check for whether a hidden t... | Oli Scherer | -124/+13 |
| 2023-05-12 | Require `impl Trait` in associated types to appear in method signatures | Oli Scherer | -10/+135 |
| 2023-05-10 | Use OpaqueTypeKey in query response | Michael Goulet | -6/+22 |
| 2023-05-10 | Remove and fix useless drop of reference | Urgau | -1/+1 |
| 2023-05-09 | add EarlyBinder to thir_abstract_const; remove tcx.bound_abstract_const | Kyle Matsuda | -1/+1 |