| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-06-12 | Collect VTable stats & add `-Zprint-vtable-sizes` | Maybe Waffle | -3/+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 | -20/+40 |
| 2023-06-07 | Rollup merge of #112076 - compiler-errors:bidirectional-alias-eq, r=lcnr | Dylan DPC | -136/+196 |
| 2023-06-06 | Note why rust-call abi requires sized obl | Michael Goulet | -1/+7 |
| 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 | Make TraitEngine::new use the right solver, add compare mode | Michael Goulet | -16/+32 |
| 2023-06-06 | Add -Ztrait-solver=next-coherence | Michael Goulet | -0/+3 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -6/+7 |
| 2023-06-06 | Rollup merge of #112325 - notriddle:notriddle/issue-111932, r=compiler-errors | Matthias Krüger | -2/+2 |
| 2023-06-05 | diagnostics: do not suggest type name tweaks on type-inferred closure args | Michael Howell | -2/+2 |
| 2023-06-05 | Rollup merge of #112318 - oli-obk:assoc_ty_sized_bound_for_object_safety, r=c... | Matthias Krüger | -51/+43 |
| 2023-06-05 | Rollup merge of #112303 - Nilstrieb:as-deref, r=compiler-errors | Matthias Krüger | -2/+3 |
| 2023-06-05 | Resolve vars in result from scrape_region_constraints | Michael Goulet | -3/+12 |
| 2023-06-05 | Merge method, type and const object safety checks | Oli Scherer | -51/+43 |
| 2023-06-05 | Avoid going through queries if a value of type `AssocItem` is already available | Oli Scherer | -1/+1 |
| 2023-06-05 | Normalize in infcx instead of globally for `Option::as_deref` suggestion | Nilstrieb | -1/+2 |
| 2023-06-05 | Properly compare types for `Option::as_deref` suggestion | Nilstrieb | -1/+1 |
| 2023-06-03 | Rollup merge of #111659 - y21:suggest-as-deref, r=cjgillot | Matthias Krüger | -9/+95 |
| 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 |
