| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-06-22 | Handle weak type aliases by immediately resolving them to their aliased type | Oli Scherer | -5/+0 |
| 2023-06-22 | Point to argument/return type instead of the whole function header | Oli Scherer | -8/+8 |
| 2023-06-21 | Liberate bound vars properly when suggesting missing AFIT | Michael Goulet | -4/+12 |
| 2023-06-19 | Rollup merge of #112596 - compiler-errors:missing-sig-with-rpitit, r=b-naber | Michael Goulet | -0/+59 |
| 2023-06-18 | Treat TAIT equation as always ambiguous in coherence | Michael Goulet | -0/+45 |
| 2023-06-16 | Add `AliasKind::Weak` for type aliases. | Oli Scherer | -30/+23 |
| 2023-06-14 | Error on unconstrained lifetime in RPITIT | Michael Goulet | -79/+135 |
| 2023-06-13 | Suggest correct signature on missing fn returning RPITIT/AFIT | Michael Goulet | -0/+59 |
| 2023-06-11 | Don't suggest boxing an empty if/else arm | Michael Goulet | -0/+25 |
| 2023-06-01 | Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnr | Dylan DPC | -76/+6 |
| 2023-05-31 | Check that RPITs are compatible with the opaques inferred during HIR typeck too | Michael Goulet | -76/+6 |
| 2023-05-27 | Check nested obligations during coercion unify | Michael Goulet | -0/+2 |
| 2023-05-26 | Rollup merge of #111947 - obeis:issue-111943, r=compiler-errors | Matthias Krüger | -0/+38 |
| 2023-05-26 | Add test for RPIT defined with different hidden types with different substs | Obei Sideg | -0/+38 |
| 2023-05-25 | Don't print newlines in APITs | Michael Goulet | -0/+44 |
| 2023-05-18 | Remove return type sized check hack from hir typeck | Michael Goulet | -51/+5 |
| 2023-05-18 | Simplify suggestion when returning bare dyn trait | Michael Goulet | -90/+84 |
| 2023-05-16 | Use error term if missing associated item in new solver | Michael Goulet | -1/+15 |
| 2023-05-13 | improve error for `impl<..> impl Trait for Type` | y21 | -0/+64 |
| 2023-05-13 | Rollup merge of #111451 - compiler-errors:note-cast-origin, r=b-naber | Dylan DPC | -4/+2 |
| 2023-05-12 | Use the opaque_types_defined_by query to cheaply check for whether a hidden t... | Oli Scherer | -0/+134 |
| 2023-05-12 | Note base types of coercion | Michael Goulet | -4/+2 |
| 2023-05-05 | Rollup merge of #111052 - nnethercote:fix-ice-test, r=Nilstrieb | Yuki Okushi | -19/+5 |
