| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-03 | do not use ty_adt_id from internal trait | y21 | -3/+2 |
| 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 | No more TyCtxt::lazy_normalization | Michael Goulet | -1/+3 |
| 2023-06-02 | Don't ICE in new solver when auto traits have associated types | Michael Goulet | -2/+6 |
| 2023-06-02 | Rollup merge of #112165 - fee1-dead-contrib:rn-defualtness, r=compiler-errors | Matthias Krüger | -1/+1 |
| 2023-06-02 | Auto merge of #112198 - compiler-errors:rollup-o2xe4of, r=compiler-errors | bors | -57/+133 |
| 2023-06-01 | Implement custom diagnostic for ConstParamTy | Michael Goulet | -1/+112 |
| 2023-06-01 | Impl ConstParamTy for tuples, make PartialStructuralEq a supertrait too | Michael Goulet | -1/+2 |
| 2023-06-01 | remove search_for_adt_const_param_violation | Michael Goulet | -55/+19 |
| 2023-06-01 | Use translatable diagnostics in `rustc_const_eval` | Deadbeef | -1/+1 |
| 2023-06-01 | Rename `impl_defaultness` to `defaultness` | Deadbeef | -1/+1 |
| 2023-05-31 | Auto merge of #111076 - notriddle:notriddle/silence-private-dep-trait-impl-su... | bors | -0/+1 |
| 2023-05-31 | move hack to `normalize_param_env_or_error` | Boxy | -3/+57 |
| 2023-05-30 | Auto merge of #111881 - lcnr:leak-check, r=nikomatsakis,jackh726 | bors | -54/+76 |
| 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-30 | rework the leak_check to take the outer_universe | lcnr | -54/+69 |
| 2023-05-30 | Rollup merge of #112060 - lcnr:early-binder, r=jackh726 | Nilstrieb | -5/+5 |
| 2023-05-30 | leak_check: remove unused codepath | lcnr | -2/+2 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -6/+7 |
| 2023-05-29 | EarlyBinder::new -> EarlyBinder::bind | lcnr | -5/+5 |
| 2023-05-29 | Use `Cow` in `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -14/+31 |
| 2023-05-28 | Make EarlyBinder's inner value private; and fix all of the resulting errors | Kyle Matsuda | -15/+11 |
| 2023-05-28 | Replace EarlyBinder(x) with EarlyBinder::new(x) | Kyle Matsuda | -5/+5 |
| 2023-05-28 | Auto merge of #112001 - saethlin:enable-matchbranchsimplification, r=cjgillot | bors | -0/+1 |
| 2023-05-28 | Auto merge of #111378 - jieyouxu:local-shadows-glob-reexport, r=petrochenkov | bors | -0/+2 |
| 2023-05-27 | Try enabling MatchBranchSimplification | Ben Kimock | -0/+1 |
| 2023-05-27 | Add warn-by-default lint for local binding shadowing exported glob re-export ... | 许杰友 Jieyou Xu (Joe) | -0/+2 |
| 2023-05-27 | Don't use outlives type op outside of MIR typeck | Michael Goulet | -14/+23 |
| 2023-05-27 | Uplift complex type ops back into typeck so we can call them locally | Michael Goulet | -17/+558 |
| 2023-05-27 | Perform MIR type ops locally in new solver | Michael Goulet | -1/+94 |
| 2023-05-27 | Rollup merge of #111987 - lcnr:alias-relate-coherence, r=BoxyUwU | Matthias Krüger | -9/+25 |
| 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-26 | Auto merge of #111918 - compiler-errors:custom-type-ops-err, r=lcnr | bors | -58/+79 |
| 2023-05-25 | Ensure Fluent messages are in alphabetical order | clubby789 | -7/+7 |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -38/+41 |
| 2023-05-25 | Use ErrorGuaranteed more in MIR type ops | Michael Goulet | -21/+39 |
| 2023-05-25 | diagnostics: exclude indirect private deps from trait impl suggest | Michael Howell | -0/+1 |
| 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 | Move DefiningAnchor | Michael Goulet | -1/+2 |
| 2023-05-25 | Pull out logic from #111131, plus some new logic in EvalCtxt::normalize_opaqu... | Michael Goulet | -6/+60 |
