| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-19 | add -Z flag | Boxy | -3/+11 |
| 2023-06-19 | initial info dump | Boxy | -406/+763 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -2/+1 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -2/+1 |
| 2023-06-17 | Auto merge of #108860 - oli-obk:tait_alias, r=compiler-errors | bors | -3/+25 |
| 2023-06-16 | Rollup merge of #112665 - compiler-errors:assumption-takes-clause, r=lcnr | Michael Goulet | -26/+32 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -3/+25 |
| 2023-06-16 | Rollup merge of #112443 - compiler-errors:next-solver-opportunistically-resol... | Dylan DPC | -3/+23 |
| 2023-06-15 | Make assumption functions in new solver take clause | Michael Goulet | -26/+32 |
| 2023-06-14 | Auto merge of #110662 - bryangarza:safe-transmute-reference-types, r=compiler... | bors | -5/+3 |
| 2023-06-13 | opportunistically resolve regions | Michael Goulet | -3/+23 |
| 2023-06-12 | Safe Transmute: Refactor error handling and Answer type | Bryan Garza | -5/+3 |
| 2023-06-12 | update comment | lcnr | -1/+1 |
| 2023-06-11 | Auto merge of #112466 - lcnr:opaque-type-cleanup, r=compiler-errors | bors | -35/+46 |
| 2023-06-09 | split opaque type handling in new solver | lcnr | -35/+46 |
| 2023-06-08 | deduplicate identical region constraints | Michael Goulet | -1/+5 |
| 2023-06-07 | Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnr | Dylan DPC | -0/+1 |
| 2023-06-06 | Fall back to bidirectional normalizes-to if no subst-eq in alias-eq goal | Michael Goulet | -23/+72 |
| 2023-06-06 | Move alias-relate to its own module | Michael Goulet | -136/+147 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -0/+1 |
| 2023-06-02 | Rollup merge of #112223 - compiler-errors:new-solver-auto-proj, r=BoxyUwU | Michael Goulet | -2/+6 |
| 2023-06-02 | Elaborate comment, make sure we do normalizes-to hack eventually for IATs, do... | Michael Goulet | -26/+29 |
| 2023-06-02 | No const equate in new solver | Michael Goulet | -13/+7 |
| 2023-06-02 | Normalize anon consts in new solver | Michael Goulet | -17/+64 |
| 2023-06-02 | Don't ICE in new solver when auto traits have associated types | Michael Goulet | -2/+6 |
| 2023-05-30 | update universe used by the leak check | lcnr | -1/+3 |
| 2023-05-30 | add the leak check to the new solver | lcnr | -0/+5 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -2/+2 |
| 2023-05-28 | Make EarlyBinder's inner value private; and fix all of the resulting errors | Kyle Matsuda | -5/+1 |
| 2023-05-26 | remove unnecessary `.ok()` calls | lcnr | -6/+14 |
| 2023-05-26 | do not prefer substs relate during coherence | lcnr | -3/+11 |
| 2023-05-25 | Match on both reveal and solver mode at the same time | Michael Goulet | -41/+38 |
| 2023-05-25 | Add InferCtxt::register_hidden_type_in_new_solver | Michael Goulet | -40/+24 |
| 2023-05-25 | Strongly prefer alias and param-env bounds | Michael Goulet | -5/+9 |
| 2023-05-25 | Pre-populate MIR with opaques, prefer subst-relate candidate | Michael Goulet | -28/+25 |
| 2023-05-25 | Check that opaque is a defining use, prefer pre-defined opaques | Michael Goulet | -14/+91 |
| 2023-05-25 | Prepopulate opaques in canonical input | Michael Goulet | -77/+170 |
| 2023-05-25 | Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu... | Michael Goulet | -4/+56 |
| 2023-05-24 | Safe Transmute: Change Answer type to Result | Bryan Garza | -5/+5 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -1/+1 |
| 2023-05-23 | Don't ICE when computing PointerLike trait when region vars are in param-env | Michael Goulet | -5/+9 |
| 2023-05-17 | Exclude inherent projections from some alias ty matches | León Orell Valerian Liehr | -1/+3 |
| 2023-05-16 | Use error term if missing associated item in new solver | Michael Goulet | -1/+15 |
| 2023-05-09 | Consolidate the 'match assumption' type methods in GoalKind | Michael Goulet | -140/+47 |
| 2023-05-09 | Make alias bounds sound in the new solver | Michael Goulet | -2/+162 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -2/+2 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -20/+16 |
| 2023-04-29 | Rollup merge of #110614 - compiler-errors:new-solver-overflow-response, r=lcnr | Dylan DPC | -20/+79 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -1/+1 |
| 2023-04-26 | Split out make_ambiguous_response_no_constraints | Michael Goulet | -30/+53 |
