| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -9/+8 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -13/+19 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -0/+2 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -14/+14 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -0/+2 |
| 2023-07-03 | review | lcnr | -1/+7 |
| 2023-07-03 | `deeply_normalize` pass in fulfill cx for old solver | lcnr | -11/+10 |
| 2023-07-03 | add deep normalization via the new solver | lcnr | -4/+42 |
| 2023-06-29 | Auto merge of #113108 - compiler-errors:normalize-opaques-with-late-bound-var... | bors | -5/+1 |
| 2023-06-28 | Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnr | Dylan DPC | -3/+1 |
| 2023-06-27 | Normalize opaques with escaping bound vars | Michael Goulet | -5/+1 |
| 2023-06-26 | Migrate predicates_of and caller_bounds to Clause | Michael Goulet | -5/+3 |
| 2023-06-22 | Migrate item_bounds to ty::Clause | Michael Goulet | -1/+1 |
| 2023-06-21 | Don't substitute a GAT that has mismatched generics in OpaqueTypeCollector | Michael Goulet | -41/+1 |
| 2023-06-21 | Rollup merge of #112772 - compiler-errors:clauses-1, r=lcnr | Nilstrieb | -1/+1 |
| 2023-06-20 | yeet ImplSource::TraitAlias too | Michael Goulet | -3/+1 |
| 2023-06-20 | Auto merge of #112320 - compiler-errors:do-not-impl-via-obj, r=lcnr | bors | -0/+4 |
| 2023-06-20 | Merge attrs, better validation | Michael Goulet | -0/+4 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -1/+1 |
| 2023-06-17 | Remove even more redundant builtin candidates | Michael Goulet | -11/+23 |
| 2023-06-17 | Simplify even more candidates | Michael Goulet | -16/+28 |
| 2023-06-17 | Simplify some impl source candidates | Michael Goulet | -6/+2 |
| 2023-06-17 | Remove some ImplSource candidates | Michael Goulet | -3/+2 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -1/+26 |
| 2023-06-14 | remove drain-on-drop behavior from vec::DrainFilter and add #[must_use] | The 8472 | -3/+3 |
| 2023-06-02 | No more TyCtxt::lazy_normalization | Michael Goulet | -1/+3 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -2/+2 |
| 2023-05-18 | Rollup merge of #111695 - fmease:dont-lump-together-alias-tys, r=compiler-errors | Dylan DPC | -1/+4 |
| 2023-05-17 | Exclude inherent projections from some alias ty matches | León Orell Valerian Liehr | -1/+4 |
| 2023-05-16 | Avoid `&format("...")` calls in error message code. | Nicholas Nethercote | -1/+1 |
| 2023-05-04 | IAT: Proper WF computation | León Orell Valerian Liehr | -23/+43 |
| 2023-05-04 | IAT: Introduce AliasKind::Inherent | León Orell Valerian Liehr | -2/+141 |
| 2023-05-04 | Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnr | bors | -7/+8 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -1/+1 |
| 2023-04-26 | Add new `ToPredicate` impls and `TraitRef` methods to remove some `ty::Binber... | Maybe Waffle | -7/+5 |
| 2023-04-26 | Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a... | Maybe Waffle | -2/+3 |
| 2023-04-25 | Replace `tcx.mk_trait_ref` with `ty::TraitRef::new` | Maybe Waffle | -5/+7 |
| 2023-04-23 | Don't create projection ty for const projection | Michael Goulet | -8/+23 |
| 2023-04-20 | Remove WithOptconstParam. | Camille GILLOT | -3/+2 |
| 2023-04-18 | add EarlyBinder to return type of collect_return_position_impl_trait_in_trait... | Kyle Matsuda | -5/+4 |
| 2023-04-06 | Use BoundTy and BoundRegion instead of kind of PlaceholderTy and PlaceholderR... | Jack Huey | -3/+3 |
| 2023-03-17 | Rollup merge of #109198 - compiler-errors:new-rpitit-default-body, r=spastorino | Matthias Krüger | -2/+2 |
| 2023-03-16 | Rollup merge of #109171 - oli-obk:normalization_cleanup, r=compiler-errors | Matthias Krüger | -10/+12 |
| 2023-03-15 | Rename impl_trait_in_trait_parent to impl_trait_in_trait_parent_fn | Santiago Pastorino | -2/+2 |
| 2023-03-15 | always make `define_opaque_types` explicit | lcnr | -7/+12 |
| 2023-03-15 | Exhaustively match over all alias kinds | Oli Scherer | -10/+12 |
| 2023-03-08 | Auto merge of #108121 - aliemjay:resolve-var-region, r=lcnr | bors | -2/+2 |
| 2023-03-05 | Rollup merge of #108746 - compiler-errors:rpitit-dont-project-default-w-no-va... | Matthias Krüger | -1/+2 |
| 2023-03-05 | Auto merge of #108351 - petrochenkov:rmdit, r=cjgillot | bors | -1/+0 |
| 2023-03-05 | resolve to universal regions when possible | Ali MJ Al-Nasrawy | -2/+2 |
