| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-10-23 | Make things work by using the new solver | Michael Goulet | -1/+1 |
| 2023-10-23 | Let's see what those opaque types actually are | Michael Goulet | -1/+37 |
| 2023-10-23 | Handle ReErased in responses in new solver | Michael Goulet | -0/+15 |
| 2023-10-20 | Rename lots of files that had `generator` in their name | Oli Scherer | -1/+1 |
| 2023-10-20 | s/generator/coroutine/ | Oli Scherer | -22/+22 |
| 2023-10-20 | s/Generator/Coroutine/ | Oli Scherer | -12/+12 |
| 2023-10-18 | Tweak wording of type errors involving type params | Esteban Küber | -4/+4 |
| 2023-10-18 | revert rust-lang/rust#114586 | Ali MJ Al-Nasrawy | -0/+52 |
| 2023-10-17 | Flesh out tests more | Michael Goulet | -0/+15 |
| 2023-10-16 | Rollup merge of #116800 - compiler-errors:rpitit-gat-outlives, r=jackh726 | Guillaume Gomez | -0/+41 |
| 2023-10-16 | Remove `DefiningAnchor::Bubble` from opaque wf check | Michael Goulet | -40/+29 |
| 2023-10-16 | Fix outlives suggestion for GAT in RPITIT | Michael Goulet | -0/+41 |
| 2023-10-14 | Rollup merge of #116730 - compiler-errors:unsoundness-tests-rpit, r=aliemjay | Matthias Krüger | -0/+134 |
| 2023-10-14 | Add some unsoundness tests for opaques capturing hidden regions not in substs | Michael Goulet | -0/+134 |
| 2023-10-14 | Rollup merge of #116689 - lcnr:auto-trait-hidden-ty-leak, r=compiler-errors | Matthias Krüger | -1/+16 |
| 2023-10-13 | Test that RPITITs have RPIT scope and not impl-wide scope | Michael Goulet | -0/+38 |
| 2023-10-13 | Stabilize AFIT and RPITIT | Michael Goulet | -167/+99 |
| 2023-10-13 | explicitly handle auto trait leakage in coherence | lcnr | -1/+16 |
| 2023-10-11 | Rollup merge of #116219 - compiler-errors:relate-alias-ty-with-variance, r=lcnr | Matthias Krüger | -0/+14 |
| 2023-10-08 | remove trailing dots | Ali MJ Al-Nasrawy | -5/+5 |
| 2023-10-08 | always show and explain sub region | Ali MJ Al-Nasrawy | -2/+11 |
| 2023-10-06 | Auto merge of #114811 - estebank:impl-ambiguity, r=wesleywiser | bors | -20/+25 |
| 2023-10-05 | Rollup merge of #116428 - Alexendoo:note-duplicate-diagnostics, r=compiler-er... | Matthias Krüger | -0/+4 |
| 2023-10-05 | move subtyper change reveal_all | ouz-a | -0/+25 |
| 2023-10-05 | Rollup merge of #116431 - estebank:issue-80476, r=compiler-errors | Jubilee | -104/+104 |
| 2023-10-05 | Rollup merge of #116296 - compiler-errors:default-return, r=estebank | Jubilee | -2/+2 |
| 2023-10-05 | Auto merge of #116273 - compiler-errors:refine2, r=tmandry | bors | -0/+11 |
| 2023-10-05 | Auto merge of #116184 - compiler-errors:afit-lint, r=tmandry | bors | -3/+13 |
| 2023-10-05 | Add a note to duplicate diagnostics | Alex Macleod | -0/+4 |
| 2023-10-04 | Point to where missing return type should go | Michael Goulet | -2/+2 |
| 2023-10-04 | Tweak wording of E0562 | Esteban Küber | -104/+104 |
| 2023-10-04 | Relate AliasTy considering variance | Michael Goulet | -0/+14 |
| 2023-10-04 | Show suggestion for `<SelfTy as Trait>::assoc_fn` in more cases and fmt code | Esteban Küber | -0/+10 |
| 2023-10-04 | Reorder fullfillment errors to keep more interesting ones first | Esteban Küber | -24/+19 |
| 2023-10-03 | Bless tests | Michael Goulet | -3/+13 |
| 2023-10-02 | Point out the actual mismatch error | Michael Goulet | -0/+1 |
| 2023-10-02 | For a single impl candidate, try to unify it with error trait ref | Michael Goulet | -2/+2 |
| 2023-09-29 | Only trigger refine lint on reachable traits | Michael Goulet | -0/+11 |
| 2023-09-28 | Auto merge of #115659 - compiler-errors:itp, r=cjgillot | bors | -19/+42 |
| 2023-09-27 | Rollup merge of #116149 - compiler-errors:anonymize, r=lcnr | Matthias Krüger | -0/+13 |
| 2023-09-27 | Auto merge of #116156 - oli-obk:opaque_place_unwrap, r=compiler-errors | bors | -0/+36 |
| 2023-09-26 | Anonymize binders for refining_impl_trait check | Michael Goulet | -0/+13 |
| 2023-09-26 | Auto merge of #116072 - compiler-errors:rpitit-implied-bounds, r=aliemjay | bors | -0/+81 |
| 2023-09-25 | Only prevent field projections into opaque types, not types containing opaque... | Oli Scherer | -0/+36 |
| 2023-09-23 | Bless tests. | Camille GILLOT | -23/+17 |
| 2023-09-23 | Revert duplication of tests. | Camille GILLOT | -350/+21 |
| 2023-09-22 | Need to use hybrid param-env to make sure implication is not circular | Michael Goulet | -0/+42 |
| 2023-09-22 | Use placeholders to prevent using inferred RPITIT types to imply their own WF... | Michael Goulet | -0/+39 |
| 2023-09-22 | Auto merge of #115696 - RalfJung:closure-ty-print, r=oli-obk | bors | -30/+30 |
| 2023-09-22 | Auto merge of #114776 - fee1-dead-contrib:enable-effects-in-libcore, r=oli-obk | bors | -21/+4 |
