| Age | Commit message (Expand) | Author | Lines |
|---|
| 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-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 |
| 2023-05-24 | Safe Transmute: Update definition of Condition type | Bryan Garza | -17/+20 |
| 2023-05-24 | Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch... | Manish Goregaokar | -7/+7 |
| 2023-05-24 | Safe Transmute: Check mutability before creating dst -> src obligation | Bryan Garza | -5/+15 |
| 2023-05-24 | Safe Transmute: Fix propagation of errors | Bryan Garza | -3/+3 |
| 2023-05-24 | Safe Transmute: Change Answer type to Result | Bryan Garza | -23/+23 |
| 2023-05-24 | Safe Transmute: Enable handling references, including recursive types | Bryan Garza | -6/+65 |
