| Age | Commit message (Expand) | Author | Lines |
| 2023-07-28 | Rollup merge of #114146 - compiler-errors:dont-report-rpitit-name, r=spastorino | Matthias Krüger | -0/+99 |
| 2023-07-28 | Auto merge of #113312 - Ddystopia:auto-trait-fun, r=lcnr | bors | -0/+10 |
| 2023-07-28 | Auto merge of #114134 - fee1-dead-contrib:rm-constness-from-param-env, r=oli-obk | bors | -10/+9 |
| 2023-07-27 | Add additional test | Michael Goulet | -0/+44 |
| 2023-07-27 | Insert RPITITs that were shadowed by missing ADTs that resolve to type error | Michael Goulet | -0/+27 |
| 2023-07-27 | tighten span slightly for synthetic item | Michael Goulet | -2/+2 |
| 2023-07-27 | Skip reporting item name when checking RPITIT GAT's associated type bounds hold | Michael Goulet | -0/+55 |
| 2023-07-27 | update tests, adding known-bug | Deadbeef | -10/+9 |
| 2023-07-27 | Consider a goal as NOT changed if its response is identity modulo regions | Michael Goulet | -1/+1 |
| 2023-07-20 | Auto merge of #113622 - RickleAndMortimer:issue-113184-fix, r=oli-obk | bors | -0/+2 |
| 2023-07-19 | Auto merge of #113690 - aliemjay:opaque-defined-by-trait, r=compiler-errors | bors | -0/+12 |
| 2023-07-18 | moved note as unspanned note, moved note to the bottom of the msg | nxya | -10/+2 |
| 2023-07-18 | added links as a note | nxya | -2/+2 |
| 2023-07-18 | add links to query documentation for E0391 | nxya | -2/+2 |
| 2023-07-18 | added links as a note | nxya | -2/+12 |
| 2023-07-18 | add links to query documentation for E0391 | nxya | -2/+2 |
| 2023-07-15 | Check entry type as part of item type checking. | Camille GILLOT | -8/+8 |
| 2023-07-14 | allow opaques to be defined by trait queries | Ali MJ Al-Nasrawy | -0/+12 |
| 2023-07-10 | Auto merge of #112988 - spastorino:new-rpitit-24, r=compiler-errors | bors | -85/+408 |
| 2023-07-08 | Replace RPITIT current impl with new strategy that lowers as a GAT | Santiago Pastorino | -85/+408 |
| 2023-07-08 | Auto merge of #113491 - matthiaskrgr:rollup-mueqz7h, r=matthiaskrgr | bors | -2/+2 |
| 2023-07-08 | Rollup merge of #113005 - compiler-errors:dont-query-normalize, r=cjgillot | Matthias Krüger | -2/+2 |
| 2023-07-08 | Rollup merge of #113335 - compiler-errors:reveal-opaques-in-new-solver, r=lcnr | Matthias Krüger | -0/+11 |
| 2023-07-08 | Auto merge of #113474 - compiler-errors:rollup-07x1up7, r=compiler-errors | bors | -0/+51 |
| 2023-07-07 | Add regression test for RPITITs | Santiago Pastorino | -0/+51 |
| 2023-07-07 | Normalize opaques during codegen in new solver | Michael Goulet | -0/+11 |
| 2023-07-07 | Require TAITs to be mentioned in the signatures of functions that register hi... | Oli Scherer | -22/+89 |
| 2023-07-06 | deal with opaque types without cycling | lcnr | -66/+71 |
| 2023-07-06 | update auto trait handling | lcnr | -61/+66 |
| 2023-07-05 | Add some extra information to opaque type cycle errors | Oli Scherer | -7/+149 |
| 2023-07-04 | Auto merge of #113303 - compiler-errors:yeet-chalk, r=lcnr | bors | -5/+3 |
| 2023-07-04 | Auto merge of #113215 - compiler-errors:rpitit-predicates-tweaks, r=spastorino | bors | -15/+52 |
| 2023-07-03 | Remove compare mode | Michael Goulet | -2/+0 |
| 2023-07-03 | Remove chalk from the compiler | Michael Goulet | -3/+3 |
| 2023-07-01 | Rollup merge of #113182 - compiler-errors:rpit-stricter-captures, r=oli-obk | Matthias Krüger | -24/+167 |
| 2023-06-30 | Additional wf test | Michael Goulet | -10/+51 |
| 2023-06-30 | RPITITs inherit method predicates | Michael Goulet | -5/+1 |
| 2023-06-30 | Rollup merge of #113171 - spastorino:new-rpitit-25, r=compiler-errors | Matthias Krüger | -0/+19 |
| 2023-06-30 | Rollup merge of #113165 - compiler-errors:rpitits-foreign-bounds, r=spastorino | Matthias Krüger | -0/+4 |
| 2023-06-30 | Rollup merge of #113071 - compiler-errors:no-parent-non-lifetime-args-in-apit... | Matthias Krüger | -9/+3 |
| 2023-06-30 | Adapt tests from #105258 | Michael Goulet | -6/+151 |
| 2023-06-30 | Flip the order of binder instantiation for better diagnostics | Michael Goulet | -13/+7 |
| 2023-06-30 | Error for RPITIT hidden tys that capture more than their trait defn | Michael Goulet | -17/+21 |
| 2023-06-29 | Properly implement variances_of for RPITIT GAT | Santiago Pastorino | -0/+19 |
| 2023-06-29 | Encode item bounds for DefKind::ImplTraitPlaceholder | Michael Goulet | -0/+4 |
| 2023-06-27 | Don't sort strings right after we just sorted by types | Michael Goulet | -2/+2 |
| 2023-06-27 | More tests | Michael Goulet | -0/+27 |
| 2023-06-26 | migrate lifetime too | Michael Goulet | -9/+3 |
| 2023-06-25 | Rollup merge of #113036 - TaKO8Ki:fix-112094, r=compiler-errors | Matthias Krüger | -0/+12 |
| 2023-06-26 | accept `ReStatic` for RPITIT | Takayuki Maeda | -0/+12 |