| Age | Commit message (Expand) | Author | Lines |
| 2023-06-18 | Rollup merge of #112734 - dswij:bounds-predicates-clause, r=compiler-errors | Matthias Krüger | -2/+4 |
| 2023-06-17 | Move some bounds computation out of astconv into its own file | Michael Goulet | -567/+585 |
| 2023-06-17 | Move ConstEvaluatable to Clause | Michael Goulet | -2/+2 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -3/+4 |
| 2023-06-17 | `Bound::predicates` to return `Clause` | dswij | -2/+4 |
| 2023-06-16 | Pacify tidy | Oli Scherer | -116/+128 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -1/+13 |
| 2023-06-11 | iat selection: normalize self ty & completely erase bound vars | León Orell Valerian Liehr | -19/+57 |
| 2023-06-07 | Auto merge of #111047 - compiler-errors:rtn-no-ty-ct-params, r=spastorino | bors | -39/+24 |
| 2023-06-05 | Remove redundant InferCtxtExt::fresh_item_substs | Michael Goulet | -36/+1 |
| 2023-06-05 | Emit an error when RTN is used with ty/ct params | Michael Goulet | -3/+23 |
| 2023-06-05 | Merge method, type and const object safety checks | Oli Scherer | -0/+4 |
| 2023-06-05 | Avoid going through queries if a value of type `AssocItem` is already available | Oli Scherer | -1/+1 |
| 2023-05-30 | Rollup merge of #112060 - lcnr:early-binder, r=jackh726 | Nilstrieb | -1/+1 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -15/+17 |
| 2023-05-29 | EarlyBinder::new -> EarlyBinder::bind | lcnr | -1/+1 |
| 2023-05-28 | Replace EarlyBinder(x) with EarlyBinder::new(x) | Kyle Matsuda | -1/+1 |
| 2023-05-26 | print const and type errors in braces not square brackets | Boxy | -1/+1 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -3/+3 |
| 2023-05-18 | Rollup merge of #111633 - nnethercote:avoid-ref-format, r=WaffleLapkin | Dylan DPC | -2/+2 |
| 2023-05-17 | Rollup merge of #111588 - MU001999:diag/improve-e0782, r=fee1-dead | Dylan DPC | -4/+3 |
| 2023-05-17 | Emits E0599 when meeting MyTrait::missing_method | mu001999 | -4/+3 |
| 2023-05-16 | Avoid `&format("...")` calls in error message code. | Nicholas Nethercote | -2/+2 |
| 2023-05-14 | Rename const error methods for consistency | Michael Goulet | -4/+4 |
| 2023-05-08 | Rollup merge of #109410 - fmease:iat-alias-kind-inherent, r=compiler-errors | Michael Goulet | -26/+35 |
| 2023-05-07 | Auto merge of #111161 - compiler-errors:rtn-super, r=cjgillot | bors | -8/+49 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -26/+35 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -2/+2 |
| 2023-05-03 | Error message for ambiguous RTN from super bounds | Michael Goulet | -2/+10 |
| 2023-05-03 | Rename things to reflect that they're not item specific | Michael Goulet | -3/+3 |
| 2023-05-03 | Support RTN on associated methods from supertraits | Michael Goulet | -5/+38 |
| 2023-05-04 | Rollup merge of #110791 - compiler-errors:negative-bounds, r=oli-obk | Dylan DPC | -5/+29 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -40/+40 |
| 2023-05-02 | Make negative trait bounds work with the old trait solver | Michael Goulet | -0/+10 |
| 2023-05-02 | Disallow associated type constraints on negative bounds | Michael Goulet | -2/+0 |
| 2023-05-02 | Implement negative bounds | Michael Goulet | -5/+21 |
| 2023-05-01 | Do not consider associated type bounds for super_predicates_that_define_assoc... | Michael Goulet | -5/+52 |
| 2023-05-01 | Simplify type_parameter_bounds_in_generics | Michael Goulet | -11/+6 |
| 2023-04-27 | rename `needs_subst` to `has_param` | Boxy | -1/+1 |
| 2023-04-27 | rename `needs_infer` to `has_infer` | Boxy | -2/+2 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -2/+2 |
| 2023-04-20 | Feed type_of query instead of using WithOptconstParam. | Camille GILLOT | -8/+3 |
| 2023-04-17 | Spelling - compiler | Josh Soref | -1/+1 |
| 2023-04-13 | Rollup merge of #110195 - compiler-errors:issue-110052, r=aliemjay | Matthias Krüger | -14/+6 |
| 2023-04-11 | Allow the elaborator to only filter to real supertraits | Michael Goulet | -31/+37 |
| 2023-04-11 | Erase lifetimes above ty::INNERMOST when probing ambiguous types | Michael Goulet | -14/+6 |
| 2023-04-10 | rustc_metadata: Filter encoded data more aggressively using `DefKind` | Vadim Petrochenkov | -1/+1 |
| 2023-04-09 | Auto merge of #110031 - compiler-errors:generic-elaboration, r=b-naber | bors | -3/+3 |
| 2023-04-06 | Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR... | Jack Huey | -4/+4 |
| 2023-04-06 | Get rid of elaborate_trait_ref{s} too | Michael Goulet | -3/+3 |