| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -29/+19 |
| 2023-06-24 | Rollup merge of #112703 - aliemjay:next-solver-root-var, r=compiler-errors | Guillaume Gomez | -0/+1 |
| 2023-06-24 | instantiate hidden types in root universe | Ali MJ Al-Nasrawy | -0/+1 |
| 2023-06-23 | Auto merge of #112891 - oli-obk:impl_trait_in_assoc_tys_cleanup, r=compiler-e... | bors | -9/+3 |
| 2023-06-22 | Expect clause more | Michael Goulet | -4/+4 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -7/+25 |
| 2023-06-22 | Point to argument/return type instead of the whole function header | Oli Scherer | -1/+2 |
| 2023-06-22 | Move `opaque_type_origin_unchecked` onto `TyCtxt` and re-use it where it was ... | Oli Scherer | -8/+1 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -37/+60 |
| 2023-06-19 | Rollup merge of #112781 - compiler-errors:new-solver-tait-overlaps-hidden, r=... | Michael Goulet | -4/+6 |
| 2023-06-19 | Fully fledged Clause type | Michael Goulet | -0/+20 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -37/+40 |
| 2023-06-19 | Don't consider TAIT normalizable to hidden ty if it would result in impossibl... | Michael Goulet | -4/+6 |
| 2023-06-18 | Treat TAIT equation as always ambiguous in coherence | Michael Goulet | -7/+4 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -2/+2 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -3/+3 |
| 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 |
