| Age | Commit message (Expand) | Author | Lines |
| 2023-08-15 | nits | Michael Goulet | -3/+3 |
| 2023-08-15 | Implement lint against coinductive impl overlap | Michael Goulet | -3/+33 |
| 2023-08-14 | Remove constness from `ImplSource::Param` | Deadbeef | -4/+3 |
| 2023-08-13 | Auto merge of #114457 - lcnr:trait_ref_is_knowable-normalize, r=compiler-errors | bors | -1/+1 |
| 2023-08-12 | normalize in `trait_ref_is_knowable` in new solver | lcnr | -1/+1 |
| 2023-08-11 | remove builtin impl for float and int infer | lcnr | -5/+2 |
| 2023-08-10 | Comment nits | Michael Goulet | -1/+1 |
| 2023-08-04 | Auto merge of #114036 - compiler-errors:upcast-to-fewer-assocs, r=lcnr | bors | -73/+141 |
| 2023-08-03 | Don't be incomplete | Michael Goulet | -92/+128 |
| 2023-08-03 | Fix upcasting with normalization in old solver, add a test | Michael Goulet | -2/+12 |
| 2023-08-03 | short-circuit when proj def ids differ | Michael Goulet | -5/+6 |
| 2023-08-03 | Rework upcasting | Michael Goulet | -59/+80 |
| 2023-08-03 | builtin impl confirmation wuhu | lcnr | -23/+17 |
| 2023-08-02 | Remove constness from `TraitPredicate` | Deadbeef | -23/+10 |
| 2023-08-02 | Rollup merge of #114079 - compiler-errors:closure-upvars, r=oli-obk | Nilstrieb | -2/+3 |
| 2023-08-01 | Use upvar_tys in more places, make it a list | Michael Goulet | -2/+3 |
| 2023-08-01 | Convert adt_sized_constraint to early-binder, use list | Michael Goulet | -1/+1 |
| 2023-07-30 | inline format!() args up to and including rustc_codegen_llvm | Matthias Krüger | -8/+6 |
| 2023-07-28 | Auto merge of #113312 - Ddystopia:auto-trait-fun, r=lcnr | bors | -14/+77 |
| 2023-07-28 | Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obk | bors | -67/+16 |
| 2023-07-27 | Remove `constness` from `ParamEnv` | Deadbeef | -67/+16 |
| 2023-07-26 | Don't treat negative trait predicates as always knowable | Michael Goulet | -1/+1 |
| 2023-07-25 | Make everything builtin! | Michael Goulet | -46/+42 |
| 2023-07-25 | Restore tuple unsizing feature gate | Michael Goulet | -9/+16 |
| 2023-07-21 | Revert "Auto merge of #113166 - moulins:ref-niches-initial, r=oli-obk" | David Tolnay | -14/+3 |
| 2023-07-21 | Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checks | Moulins | -3/+14 |
| 2023-07-17 | Rename arg_iter to iter_instantiated | Michael Goulet | -1/+1 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -180/+177 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -7/+3 |
| 2023-07-07 | Auto merge of #113245 - lukas-code:unsizing-sanity-check, r=the8472 | bors | -6/+1 |
| 2023-07-06 | Separate select calls that don't need a binder | Michael Goulet | -11/+24 |
| 2023-07-06 | TraitObligation -> PolyTraitObligation | Michael Goulet | -60/+60 |
| 2023-07-06 | add helper methods for accessing struct tail | Lukas Markeffsky | -6/+1 |
| 2023-07-06 | always emit consider `AutoImplCandidates` for them if they don't also have a ... | Oleksandr Babak | -1/+1 |
| 2023-07-06 | deal with opaque types without cycling | lcnr | -10/+24 |
| 2023-07-06 | update auto trait handling | lcnr | -14/+63 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -7/+8 |
| 2023-07-05 | Rollup merge of #113321 - BoxyUwU:move_constkind_to_typeir, r=oli-obk | Michael Goulet | -1/+1 |
| 2023-07-05 | Rollup merge of #113320 - oli-obk:eval_obligation_query, r=petrochenkov,BoxyUwU | Michael Goulet | -8/+12 |
| 2023-07-05 | Rollup merge of #113317 - lcnr:sketchy-new-select, r=oli-obk | Michael Goulet | -46/+23 |
| 2023-07-05 | Deal with fallout | Boxy | -1/+1 |
| 2023-07-05 | Add some extra information to opaque type cycle errors | Oli Scherer | -8/+12 |
| 2023-07-04 | Replace `mk_const` with `Const::new_x` methods | Boxy | -5/+4 |
| 2023-07-04 | -Ztrait-solver=next: stop depending on old solver | lcnr | -46/+23 |
| 2023-07-03 | remove TypeWellFormedFromEnv | Michael Goulet | -3/+0 |
| 2023-07-03 | Remove chalk from the compiler | Michael Goulet | -8/+4 |
| 2023-07-03 | Implement selection in new trait solver | Michael Goulet | -1/+6 |
| 2023-07-01 | Auto merge of #113154 - lcnr:better-probe-check, r=compiler-errors | bors | -1/+1 |
| 2023-06-29 | change snapshot tracking in fulfillment contexts | lcnr | -1/+1 |
| 2023-06-28 | Rollup merge of #112867 - compiler-errors:more-impl-source-nits, r=lcnr | Dylan DPC | -13/+7 |