| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-06-19 | Add more tests | Oli Scherer | -0/+80 |
| 2024-06-19 | Allow constraining opaque types during auto trait casting | Oli Scherer | -31/+29 |
| 2024-06-19 | Add tests | Oli Scherer | -0/+55 |
| 2024-06-19 | Allow constraining opaque types during unsizing | Oli Scherer | -57/+9 |
| 2024-06-19 | Taint infcx when reporting errors | Oli Scherer | -0/+30 |
| 2024-06-17 | Delay a bug and mark precise_capturing as not incomplete | Michael Goulet | -228/+47 |
| 2024-06-17 | Detect duplicates | Michael Goulet | -0/+39 |
| 2024-06-17 | Add tests for illegal use bound syntax | Michael Goulet | -2/+119 |
| 2024-06-17 | Rework precise capturing syntax | Michael Goulet | -124/+124 |
| 2024-06-17 | Make parse_seq_to_before_tokens take expected/nonexpected tokens, use in pars... | Michael Goulet | -10/+1 |
| 2024-06-16 | Rollup merge of #126127 - Alexendoo:other-trait-diag, r=pnkfelix | Jacob Pratt | -4/+4 |
| 2024-06-13 | Method resolution constrains hidden types instead of rejecting method candidates | Oli Scherer | -78/+20 |
| 2024-06-13 | Add some tests | Oli Scherer | -0/+624 |
| 2024-06-12 | Rollup merge of #126337 - oli-obk:nested_gat_opaque, r=lcnr | Jubilee | -0/+48 |
| 2024-06-12 | Rebase fallout | Michael Goulet | -2/+2 |
| 2024-06-12 | Add test for walking order dependent opaque type behaviour | Oli Scherer | -0/+48 |
| 2024-06-12 | Spell out other trait diagnostic | Alex Macleod | -4/+4 |
| 2024-06-12 | Require any function with a tait in its signature to actually constrain a hid... | Oli Scherer | -78/+193 |
| 2024-06-11 | Also test under next solver | Oli Scherer | -1/+14 |
| 2024-06-11 | Revert "When checking whether an impl applies, constrain hidden types of opaq... | Oli Scherer | -71/+37 |
| 2024-06-11 | Add regression test | Oli Scherer | -0/+60 |
| 2024-06-04 | Add another test for hidden types capturing lifetimes that outlive but arent ... | Michael Goulet | -0/+53 |
| 2024-06-04 | Rollup merge of #125667 - oli-obk:taintify, r=TaKO8Ki | Michael Goulet | -135/+23 |
| 2024-05-29 | Use parenthetical notation for `Fn` traits | Esteban Küber | -2/+2 |
| 2024-05-29 | Stop proving outlives constraints on regions we already reported errors on | Oli Scherer | -135/+23 |
| 2024-05-25 | Rollup merge of #124080 - oli-obk:define_opaque_types10, r=compiler-errors | Matthias Krüger | -32/+117 |
| 2024-05-24 | Add regression tests | Oli Scherer | -0/+80 |
| 2024-05-23 | When checking whether an impl applies, constrain hidden types of opaque types. | Oli Scherer | -32/+26 |
| 2024-05-23 | Add more tests | Oli Scherer | -0/+91 |
| 2024-05-20 | Inline get_node_fn_decl into get_fn_decl, simplify/explain logic in report_re... | Michael Goulet | -1/+3 |
| 2024-05-16 | Report better WF obligation leaf obligations in new solver | Michael Goulet | -3/+6 |
| 2024-05-13 | And finally add tests | Michael Goulet | -0/+133 |
| 2024-05-13 | Warn against redundant use<...> | Michael Goulet | -1/+71 |
| 2024-05-06 | borrowck: more eagerly prepopulate opaques | lcnr | -0/+9 |
| 2024-04-28 | add test for ice future has no bound vars. | Matthias Krüger | -0/+29 |
| 2024-04-24 | Fix tests and bless | Gary Guo | -4/+3 |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -18/+22 |
| 2024-04-23 | Rollup merge of #124169 - compiler-errors:parser-fatal, r=oli-obk | Matthias Krüger | -0/+25 |
| 2024-04-21 | Use sup instead of eq when unifying self type | Michael Goulet | -69/+22 |
| 2024-04-21 | Use fulfillment, not evaluate, during method probe | Michael Goulet | -26/+57 |
| 2024-04-21 | Auto merge of #124203 - lukas-code:delete-deleting-caches, r=compiler-errors | bors | -0/+4 |
| 2024-04-21 | also remap RPITITs nested in other types back to their opaques | Lukas Markeffsky | -0/+4 |
| 2024-04-20 | Explicitly mention `Self` | Michael Goulet | -5/+5 |
| 2024-04-20 | Flip spans for precise capturing syntax not capturing a ty/ct param | Michael Goulet | -14/+16 |
| 2024-04-19 | Fix capturing duplicated lifetimes via parent | Michael Goulet | -0/+66 |
| 2024-04-19 | Don't fatal when calling expect_one_of when recovering arg in parse_seq | Michael Goulet | -0/+25 |
| 2024-04-15 | More polishing | Michael Goulet | -1/+53 |
| 2024-04-15 | Use a path instead of an ident (and stop manually resolving) | Michael Goulet | -14/+24 |
| 2024-04-15 | Some ordering and duplication checks | Michael Goulet | -0/+53 |
| 2024-04-15 | Add hir::Node::PreciseCapturingNonLifetimeArg | Michael Goulet | -31/+68 |
