| Age | Commit message (Expand) | Author | Lines |
| 2023-08-01 | Use upvar_tys in more places, make it a list | Michael Goulet | -2/+6 |
| 2023-08-01 | Suppress unnecessary outlives | Michael Goulet | -0/+4 |
| 2023-07-31 | Don't check unnecessarily that impl trait is RPIT | Michael Goulet | -3/+1 |
| 2023-07-31 | Rollup merge of #114267 - compiler-errors:rpitit-opaque-bounds, r=spastorino | Matthias Krüger | -7/+0 |
| 2023-07-30 | No need to expect RPITIT projections in opaque item bounds | Michael Goulet | -7/+0 |
| 2023-07-30 | inline format!() args up to and including rustc_codegen_llvm | Matthias Krüger | -85/+73 |
| 2023-07-28 | Auto merge of #114181 - matthiaskrgr:rollup-14m8s7f, r=matthiaskrgr | bors | -6/+12 |
| 2023-07-28 | Lower generic const items to HIR | León Orell Valerian Liehr | -1/+1 |
| 2023-07-28 | Rollup merge of #114146 - compiler-errors:dont-report-rpitit-name, r=spastorino | Matthias Krüger | -6/+12 |
| 2023-07-27 | Skip reporting item name when checking RPITIT GAT's associated type bounds hold | Michael Goulet | -6/+12 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -9/+0 |
| 2023-07-23 | fix some clippy::style findings | Matthias Krüger | -3/+5 |
| 2023-07-23 | fix clippy::useless_format | Matthias Krüger | -9/+5 |
| 2023-07-19 | Document `PredicateSet::insert` | Maybe Waffle | -0/+7 |
| 2023-07-17 | Rename arg_iter to iter_instantiated | Michael Goulet | -3/+3 |
| 2023-07-16 | self type param infer, avoid ICE | lcnr | -1/+1 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -245/+237 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -35/+55 |
| 2023-07-11 | Rollup merge of #113567 - chenyukang:yukang-fix-113354-while-let, r=cjgillot | Jubilee | -38/+39 |
| 2023-07-11 | Auto merge of #112984 - BoxyUwU:debug_with_infcx, r=compiler-errors | bors | -0/+38 |
| 2023-07-11 | Rollup merge of #113310 - jieyouxu:dont-suggest-impl-trait-in-paths, r=lcnr | Matthias Krüger | -2/+10 |
| 2023-07-11 | While let suggestion will work for closure | yukang | -38/+39 |
| 2023-07-08 | Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errors | bors | -11/+0 |
| 2023-07-07 | Rollup merge of #113427 - compiler-errors:no-variances-of-rpitit-gat, r=spast... | Michael Goulet | -11/+0 |
| 2023-07-08 | Auto merge of #112652 - oli-obk:tait_only_in_sig, r=compiler-errors | bors | -1/+1 |
| 2023-07-08 | Don't suggest `impl Trait` in path position | 许杰友 Jieyou Xu (Joe) | -2/+10 |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register hi... | Oli Scherer | -1/+1 |
| 2023-07-07 | Auto merge of #113308 - compiler-errors:poly-select, r=lcnr | bors | -3/+4 |
| 2023-07-07 | Remove variances_of on RPITIT gats, remove its one use-case | Michael Goulet | -11/+0 |
| 2023-07-06 | Avoid calling item_name for RPITIT | Santiago Pastorino | -3/+5 |
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -0/+1 |
| 2023-07-06 | TraitObligation -> PolyTraitObligation | Michael Goulet | -3/+3 |
| 2023-07-06 | Add a new trait to `Debug` things with an infcx available | Boxy | -0/+38 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -42/+45 |
| 2023-07-05 | Rollup merge of #113319 - lcnr:type-param-def-def-id, r=compiler-errors | Michael Goulet | -5/+5 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -24/+13 |
| 2023-07-04 | Replace `const_error` methods with `Const::new_error` | Boxy | -2/+2 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -23/+26 |
| 2023-07-04 | `TypeParameterDefinition` always require a `DefId` | lcnr | -5/+5 |
| 2023-07-04 | Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnr | bors | -5/+1 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -24/+13 |
| 2023-07-04 | Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorino | bors | -1/+3 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -5/+1 |
| 2023-07-03 | add deep normalization via the new solver | lcnr | -0/+1 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -33/+14 |
| 2023-06-30 | RPITITs inherit method predicates | Michael Goulet | -1/+3 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -33/+14 |
| 2023-06-29 | Make the Elaboratable trait take clauses | Michael Goulet | -40/+42 |
| 2023-06-27 | avoid using `format!("{}", ..)` | Takayuki Maeda | -2/+2 |
| 2023-06-26 | TypeWellFormedInEnv | Michael Goulet | -2/+3 |