| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-08 | More robust as_ref/as_deref suggestions | Michael Goulet | -49/+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-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 |
| 2023-05-08 | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errors | Michael Goulet | -5/+11 |
| 2023-05-08 | Auto merge of #106621 - ozkanonur:enable-elided-lifetimes-for-doctests, r=Mar... | bors | -9/+11 |
| 2023-05-07 | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot | bors | -4/+4 |
| 2023-05-07 | enable `rust_2018_idioms` for doctests | ozkanonur | -9/+11 |
| 2023-05-06 | Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnr | Matthias Krüger | -0/+11 |
| 2023-05-05 | forbid escaping bound vars in combine | lcnr | -14/+8 |
| 2023-05-05 | Rollup merge of #111132 - lcnr:nll-generalize, r=b-naber | Yuki Okushi | -105/+7 |
| 2023-05-04 | Use fulfillment to check Drop impl compatibility | Michael Goulet | -0/+11 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -5/+11 |
