| Age | Commit message (Expand) | Author | Lines |
|---|
| 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-05-01 | Rollup merge of #110823 - compiler-errors:tweak-await-span, r=b-naber | Matthias Krüger | -41/+54 |
| 2023-04-29 | Rollup merge of #110614 - compiler-errors:new-solver-overflow-response, r=lcnr | Dylan DPC | -20/+79 |
| 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 | -17/+18 |
| 2023-04-26 | Split out make_ambiguous_response_no_constraints | Michael Goulet | -30/+53 |
| 2023-04-26 | Clear response values for overflow in new solver | Michael Goulet | -9/+45 |
| 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 | -11/+15 |
| 2023-04-26 | Remove some more useless `ty::Binder::dummy` calls | Maybe Waffle | -7/+4 |
| 2023-04-26 | Make some region folders a little stricter. | Nicholas Nethercote | -8/+9 |
| 2023-04-25 | Rollup merge of #110671 - compiler-errors:polarity, r=lcnr | Matthias Krüger | -3/+69 |
| 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 | -26/+8 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -60/+91 |
| 2023-04-25 | Rollup merge of #110563 - bryangarza:refactor-trait-selection-error-reporting... | Matthias Krüger | -438/+678 |
| 2023-04-24 | Consider polarity in new solver | Michael Goulet | -3/+69 |
| 2023-04-25 | Rollup merge of #110681 - klensy:cut-dep, r=lcnr | Yuki Okushi | -1/+0 |
| 2023-04-24 | Split `{Idx, IndexVec, IndexSlice}` into their own modules | Maybe Waffle | -3/+3 |
| 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 | -74/+103 |
| 2023-04-23 | Don't create projection ty for const projection | Michael Goulet | -8/+23 |
| 2023-04-22 | drop unused deps, gate libc under unix for one crate | klensy | -1/+0 |
| 2023-04-22 | Expect that equating a projection term always succeeds in new solver | Michael Goulet | -5/+10 |
| 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-21 | Auto merge of #96840 - cjgillot:query-feed, r=oli-obk | bors | -15/+11 |
| 2023-04-20 | Result is just bool but special | Michael Goulet | -7/+9 |
| 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 | -15/+11 |
| 2023-04-20 | Track if EvalCtxt has been tainted, make sure it can't be used to make query ... | Michael Goulet | -0/+20 |
| 2023-04-19 | Rollup merge of #110531 - lcnr:type-system-stuff, r=aliemjay | Matthias Krüger | -20/+11 |
| 2023-04-19 | small type system cleanup | lcnr | -20/+11 |
| 2023-04-19 | Auto merge of #110407 - Nilstrieb:fluent-macro, r=davidtwco | bors | -1/+2 |
| 2023-04-19 | Rollup merge of #110510 - bryangarza:issue-110467-safe-transmute, r=compiler-... | Matthias Krüger | -1/+1 |
| 2023-04-19 | Rollup merge of #110498 - kylematsuda:earlybinder-rpitit-tys, r=compiler-errors | Matthias Krüger | -5/+4 |
| 2023-04-19 | Remove find_map_relevant_impl | Michael Goulet | -74/+103 |
