| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-04-15 | Validation and other things | Michael Goulet | -1/+203 |
| 2024-04-15 | Begin AST lowering for precise captures | Michael Goulet | -0/+56 |
| 2024-04-08 | Ensure the canonical_param_env_cache does not contain inconsistent informatio... | Oli Scherer | -0/+27 |
| 2024-04-08 | Pass list of defineable opaque types into canonical queries | Oli Scherer | -38/+5 |
| 2024-04-08 | Add regression test | Oli Scherer | -0/+32 |
| 2024-04-07 | add test for ICE: failed to resolve instance for <fn() -> impl ...> #123145 | Matthias Krüger | -0/+35 |
| 2024-04-07 | add test for ice called Option::unwrap() on a None value in collector.rs:934:... | Matthias Krüger | -0/+58 |
| 2024-04-04 | Rollup merge of #123363 - lcnr:normalizes-to-zero-to-inf, r=BoxyUwU | Jacob Pratt | -8/+26 |
| 2024-04-04 | Auto merge of #121394 - oli-obk:define_opaque_types, r=compiler-errors | bors | -6/+6 |
| 2024-04-04 | amend to Switch `can_eq` and `can_sub` to `DefineOpaqueTypes::Yes` | Oli Scherer | -2/+2 |
| 2024-04-04 | Switch `can_eq` and `can_sub` to `DefineOpaqueTypes::Yes` | Oli Scherer | -4/+4 |
| 2024-04-04 | Rollup merge of #123218 - compiler-errors:synthetic-hir-parent, r=petrochenkov | Matthias Krüger | -0/+38 |
| 2024-04-04 | unconstrained `NormalizesTo` term for opaques | lcnr | -8/+26 |
| 2024-04-03 | Tests for getting parent of synthetic HIR | Michael Goulet | -0/+38 |
| 2024-04-03 | Stop chopping off args for no reason | Michael Goulet | -1/+19 |
| 2024-03-28 | Auto merge of #116891 - aliemjay:opaque-region-infer-rework-2, r=compiler-err... | bors | -26/+252 |
| 2024-03-28 | remove test FIXME re once-module-region | Ali MJ Al-Nasrawy | -8/+6 |
| 2024-03-28 | simplify check_unique | Ali MJ Al-Nasrawy | -56/+20 |
| 2024-03-28 | check RPITs for invalid args | Ali MJ Al-Nasrawy | -27/+114 |
| 2024-03-28 | except equal parameters from the uniqueness check | Ali MJ Al-Nasrawy | -0/+74 |
| 2024-03-27 | Sort a diagnostic by `DefPathStr` instead of `DefId` | Oli Scherer | -4/+4 |
