| Age | Commit message (Expand) | Author | Lines |
|---|
| 2023-11-04 | traverse region graph instead of SCCs to compute polonius loan scopes | Rémy Rakic | -10/+11 |
| 2023-10-20 | consider a loan escapes the function via applied member constraints | Rémy Rakic | -5/+0 |
| 2023-10-19 | make `applied_member_constraints` accept an SCC instead of a region | Rémy Rakic | -6/+7 |
| 2023-10-18 | revert rust-lang/rust#114586 | Ali MJ Al-Nasrawy | -20/+13 |
| 2023-10-16 | Remove `DefiningAnchor::Bubble` from opaque wf check | Michael Goulet | -8/+8 |
| 2023-10-11 | Auto merge of #113218 - lqd:polonius-scopes, r=jackh726 | bors | -3/+50 |
| 2023-10-05 | compute NLL loan scopes with liveness in `-Zpolonius=next` | Rémy Rakic | -2/+44 |
| 2023-10-05 | allow access to liveness' `PointIndex`es | Rémy Rakic | -0/+5 |
| 2023-10-04 | introduce `Polonius` enum for `-Zpolonius` | Rémy Rakic | -1/+1 |
| 2023-10-04 | Reorder fullfillment errors to keep more interesting ones first | Esteban Küber | -1/+1 |
| 2023-09-26 | subst -> instantiate | lcnr | -1/+1 |
| 2023-09-11 | Auto merge of #114586 - oli-obk:patch_tait_rpit_order_check, r=lcnr,compiler-... | bors | -13/+20 |
| 2023-09-11 | Bubble up opaque <eq> opaque operations instead of picking an order | Oli Scherer | -13/+20 |
| 2023-08-30 | return default `UniverseInfo` cause in `RegionInferenceContext` | Rémy Rakic | -1/+8 |
| 2023-08-14 | review | lcnr | -9/+6 |
| 2023-08-14 | check for non-defining uses of RPIT | lcnr | -27/+17 |
| 2023-08-04 | don't ICE on higher ranked hidden types | Ali MJ Al-Nasrawy | -11/+29 |
| 2023-07-27 | Rollup merge of #114075 - matthiaskrgr:fmt_args_rustc_3, r=wesleywiser | Matthias Krüger | -14/+11 |
| 2023-07-25 | inline format!() args from rustc_codegen_llvm to the end (4) | Matthias Krüger | -14/+11 |
| 2023-07-21 | Double check that hidden types match the expected hidden type | Oli Scherer | -2/+2 |
| 2023-07-14 | refactor(rustc_middle): Substs -> GenericArg | Mahdi Dibaiee | -29/+28 |
| 2023-07-12 | Re-format let-else per rustfmt update | Mark Rousskov | -3/+10 |
| 2023-07-05 | Move `TyCtxt::mk_x` to `Ty::new_x` where applicable | Boxy | -6/+6 |
| 2023-06-19 | s/Clause/ClauseKind | Michael Goulet | -2/+3 |
| 2023-06-17 | Move WF goal to clause | Michael Goulet | -1/+2 |
| 2023-06-09 | extract opaque type wf check into separate fn | lcnr | -65/+74 |
| 2023-06-09 | recompute opaque type origin | lcnr | -14/+9 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -1/+1 |
| 2023-06-01 | Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnr | Dylan DPC | -2/+12 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -4/+5 |
| 2023-05-26 | Use DefiningAnchor::Bind in infer_opaque_definition_from_instantiation | Michael Goulet | -2/+12 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -1/+2 |
| 2023-05-25 | Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearth | bors | -2/+7 |
| 2023-05-24 | Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch... | Manish Goregaokar | -1/+1 |
| 2023-05-24 | Rollup merge of #111840 - voidc:borrowck-consumers, r=oli-obk | Manish Goregaokar | -1/+6 |
| 2023-05-24 | Rollup merge of #111759 - cjgillot:interval-kill, r=b-naber | Matthias Krüger | -1/+31 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -1/+1 |
| 2023-05-23 | Add RegionInferenceContext::outlives_constraints | Dominik Stolz | -1/+6 |
| 2023-05-22 | Check opaques for mismatch during writeback | Michael Goulet | -0/+2 |
| 2023-05-19 | Leverage the interval property to precompute borrow kill points. | Camille GILLOT | -1/+31 |
| 2023-05-12 | Require `impl Trait` in associated types to appear in method signatures | Oli Scherer | -2/+2 |
| 2023-05-04 | Auto merge of #111014 - klensy:no-rc, r=WaffleLapkin | bors | -11/+8 |
| 2023-05-03 | Restrict `From<S>` for `{D,Subd}iagnosticMessage`. | Nicholas Nethercote | -1/+1 |
| 2023-04-30 | Lrc -> Rc | klensy | -1/+1 |
| 2023-04-30 | RegionInferenceContext: remove Rc from rev_scc_graph field | klensy | -11/+8 |
| 2023-04-24 | Split `{Idx, IndexVec, IndexSlice}` into their own modules | Maybe Waffle | -3/+3 |
| 2023-04-13 | Remove `ToRegionVid`. | Nicholas Nethercote | -1/+1 |
| 2023-04-13 | Remove `impl ToRegionVid for RegionVid`. | Nicholas Nethercote | -12/+9 |
| 2023-04-02 | Use `&IndexSlice` instead of `&IndexVec` where possible | Scott McMurray | -3/+3 |
| 2023-03-23 | Auto merge of #108861 - b-naber:eager-nll-type-relating, r=lcnr | bors | -5/+6 |
