| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-05-12 | do not allow inference in `pred_known_to_hold_modulo_regions` | Michael Goulet | -21/+23 |
| 2023-05-12 | EvaluateToAmbig if evaluate_root_obligation does inference | Michael Goulet | -3/+10 |
| 2023-05-12 | Note base types of coercion | Michael Goulet | -51/+50 |
| 2023-05-11 | Auto merge of #111029 - Nilstrieb:when-the-errs-are-too-big, r=petrochenkov | bors | -7/+19 |
| 2023-05-09 | Rename `expected_trait_ref` to `self_ty_trait_ref` | Nilstrieb | -2/+2 |
| 2023-05-09 | Shrink `SelectionError` a lot | Nilstrieb | -5/+17 |
| 2023-05-09 | Rollup merge of #111252 - matthewjasper:min-spec-improvements, r=compiler-errors | Dylan DPC | -22/+59 |
| 2023-05-08 | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errors | Michael Goulet | -50/+242 |
| 2023-05-07 | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot | bors | -1/+1 |
| 2023-05-06 | Rollup merge of #110577 - compiler-errors:drop-impl-fulfill, r=lcnr | Matthias Krüger | -1/+2 |
| 2023-05-05 | Report nicer lifetime errors for specialization | Matthew Jasper | -7/+39 |
| 2023-05-05 | Normalize consistently for specializations | Matthew Jasper | -17/+22 |
| 2023-05-05 | forbid escaping bound vars in combine | lcnr | -117/+38 |
| 2023-05-04 | Use fulfillment to check Drop impl compatibility | Michael Goulet | -1/+2 |
| 2023-05-04 | IAT: Proper WF computation | León Orell Valerian Liehr | -54/+99 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -21/+168 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -51/+60 |
| 2023-05-03 | Rename things to reflect that they're not item specific | Michael Goulet | -1/+1 |
| 2023-05-04 | Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obk | Dylan DPC | -0/+24 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -90/+88 |
| 2023-05-02 | Make negative trait bounds work with the old trait solver | Michael Goulet | -0/+20 |
| 2023-05-02 | Implement negative bounds | Michael Goulet | -0/+4 |
| 2023-05-02 | Rollup merge of #108161 - WaffleLapkin:const_param_ty, r=BoxyUwU | Dylan DPC | -15/+86 |
| 2023-04-27 | Make async removal span more resilient to macro expansions | Michael Goulet | -6/+8 |
| 2023-04-27 | tweak removal span | Michael Goulet | -1/+8 |
| 2023-04-27 | Tweak await span | Michael Goulet | -41/+45 |
| 2023-04-27 | Impl `StructuralEq` & `ConstParamTy` for `str`, `&T`, `[T; N]` and `[T]` | Maybe Waffle | -1/+8 |
| 2023-04-27 | Check the correct trait when checking `ConstParamTy` impls | Maybe Waffle | -1/+1 |
| 2023-04-27 | Add a `ConstParamTy` trait | Maybe Waffle | -15/+79 |
| 2023-04-27 | rename `needs_subst` to `has_param` | Boxy | -3/+3 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -15/+16 |
| 2023-04-26 | Don't return a `Binder` from `TraitRef::identity` | Maybe Waffle | -6/+7 |
| 2023-04-26 | Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber... | Maybe Waffle | -21/+11 |
| 2023-04-26 | Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a... | Maybe Waffle | -8/+11 |
| 2023-04-26 | Remove some more useless `ty::Binder::dummy` calls | Maybe Waffle | -5/+2 |
| 2023-04-26 | Make some region folders a little stricter. | Nicholas Nethercote | -4/+4 |
| 2023-04-25 | Rollup merge of #110556 - kylematsuda:earlybinder-explicit-item-bounds, r=com... | Matthias Krüger | -2/+2 |
| 2023-04-25 | Remove some useless `ty::Binder::dummy` calls | Maybe Waffle | -6/+3 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -41/+62 |
| 2023-04-25 | Rollup merge of #110563 - bryangarza:refactor-trait-selection-error-reporting... | Matthias Krüger | -438/+678 |
| 2023-04-24 | Rollup merge of #110566 - compiler-errors:bad-projection-term, r=cjgillot,Box... | Matthias Krüger | -8/+23 |
| 2023-04-24 | Rollup merge of #110514 - compiler-errors:remove-find_map_relevant_impl, r=b-... | Matthias Krüger | -71/+96 |
| 2023-04-23 | Don't create projection ty for const projection | Michael Goulet | -8/+23 |
| 2023-04-21 | Create "AppendConstMessage" enum | Bryan Garza | -18/+28 |
| 2023-04-21 | Break up long function in trait selection error reporting | Bryan Garza | -427/+657 |
| 2023-04-20 | add subst_identity_iter and subst_identity_iter_copied methods on EarlyBinder... | Kyle Matsuda | -2/+1 |
| 2023-04-20 | add EarlyBinder to output of explicit_item_bounds; replace bound_explicit_ite... | Kyle Matsuda | -1/+1 |
| 2023-04-20 | change usages of explicit_item_bounds to bound_explicit_item_bounds | Kyle Matsuda | -2/+3 |
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -14/+10 |
| 2023-04-19 | Rollup merge of #110531 - lcnr:type-system-stuff, r=aliemjay | Matthias Krüger | -20/+11 |
