| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2023-05-05 | Don't print backtrace on ICEs in `issue-86800.rs`. | Nicholas Nethercote | -19/+5 |
| 2023-05-04 | Rollup merge of #111039 - compiler-errors:foreign-span-rpitit, r=tmiasko | Matthias Krüger | -6/+30 |
| 2023-05-02 | Mark RPITIT and AFIT as no longer incomplete | Michael Goulet | -92/+4 |
| 2023-04-30 | Encode def span for foreign RPITITs | Michael Goulet | -6/+30 |
| 2023-04-25 | vars are ? | Michael Goulet | -2/+2 |
| 2023-04-21 | Auto merge of #96840 - cjgillot:query-feed, r=oli-obk | bors | -2/+2 |
| 2023-04-21 | Auto merge of #110370 - c410-f3r:dqewdas, r=petrochenkov | bors | -0/+7 |
| 2023-04-20 | Move test files | Caio | -0/+7 |
| 2023-04-20 | Give more descriptive names to queries. | Camille GILLOT | -2/+2 |
| 2023-04-16 | Account for variance in outlives verification. | Camille GILLOT | -21/+0 |
| 2023-04-16 | Add tests. | Camille GILLOT | -0/+72 |
| 2023-04-12 | Special-case item attributes in the suggestion output | Esteban Küber | -14/+0 |
| 2023-04-12 | Tweak output for 'add line' suggestion | Esteban Küber | -14/+28 |
| 2023-04-12 | Split out a separate feature gate for impl trait in associated types | Oli Scherer | -78/+74 |
| 2023-04-06 | Remove index from BrAnon | Jack Huey | -1/+1 |
| 2023-04-03 | Perform match checking on THIR. | Camille GILLOT | -0/+10 |
| 2023-03-30 | Rollup merge of #109509 - ehuss:overlapping-tests, r=Mark-Simulacrum | Yuki Okushi | -0/+0 |
| 2023-03-29 | Bless some extra working tests under -Zlower-impl-trait-in-trait-to-assoc-ty | Santiago Pastorino | -0/+2 |
| 2023-03-29 | Properly skip RPITITs from ModChild and give a name in AssocItem | Santiago Pastorino | -1/+1 |
| 2023-03-29 | Walk return-position impl trait in trait deeply in associated_item_def_ids | Michael Goulet | -5/+16 |
| 2023-03-25 | Rollup merge of #109545 - compiler-errors:rpitit-wf, r=eholk | Matthias Krüger | -11/+36 |
| 2023-03-23 | Deeply check WF for RPITITs | Michael Goulet | -11/+36 |
| 2023-03-23 | Nested impl traits trigger opaque_hidden_inferred_bound too much | Michael Goulet | -36/+0 |
| 2023-03-22 | Rename tests to ensure they don't have overlapping names. | Eric Huss | -0/+0 |
| 2023-03-23 | Rollup merge of #109414 - spastorino:new-rpitit-16, r=compiler-errors | Dylan DPC | -3/+27 |
| 2023-03-21 | Always encode RPITITs | Santiago Pastorino | -0/+2 |
| 2023-03-21 | Do not consider synthesized RPITITs on missing items checks | Santiago Pastorino | -3/+27 |
