| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-12-16 | Simplify dataflow `SwitchInt` handling. | Nicholas Nethercote | -11/+1 |
| 2024-12-15 | improve consistency within fact gen | Rémy Rakic | -46/+44 |
| 2024-12-15 | refactor `type_check` module slightly | Rémy Rakic | -47/+48 |
| 2024-12-15 | simplify `emit_outlives_facts` | Rémy Rakic | -13/+7 |
| 2024-12-15 | simplify `emit_access_facts` and fact generation | Rémy Rakic | -58/+21 |
| 2024-12-15 | use let else more consistently in fact generation | Rémy Rakic | -49/+43 |
| 2024-12-15 | clean up `translate_outlives_facts` | Rémy Rakic | -37/+48 |
| 2024-12-15 | clean up `emit_drop_facts` | Rémy Rakic | -29/+32 |
| 2024-12-15 | clean up `emit_access_facts` | Rémy Rakic | -104/+120 |
| 2024-12-15 | Rollup merge of #134315 - lqd:polonius-next-episode-1, r=jackh726 | Stuart Cook | -265/+253 |
| 2024-12-14 | refactor access fact generation | Rémy Rakic | -80/+67 |
| 2024-12-14 | move datalog fact generation into a legacy module | Rémy Rakic | -185/+186 |
| 2024-12-14 | Rollup merge of #134191 - willcrichton:dev, r=RalfJung,lqd | Matthias Krüger | -4/+50 |
| 2024-12-14 | Auto merge of #134185 - compiler-errors:impl-trait-in-bindings, r=oli-obk | bors | -6/+10 |
| 2024-12-14 | (Re-)Implement impl_trait_in_bindings | Michael Goulet | -1/+1 |
| 2024-12-14 | Split UserTypeAnnotation to have a kind | Michael Goulet | -6/+10 |
| 2024-12-14 | Rollup merge of #134244 - Enselic:no-mut-hint-for-raw-ref, r=jieyouxu | Matthias Krüger | -16/+53 |
| 2024-12-13 | Rollup merge of #133938 - nnethercote:rustc_mir_dataflow-renamings, r=oli-obk | Matthias Krüger | -78/+74 |
| 2024-12-13 | rustc_borrowck: Convert suggest_ampmut() 4-tuple to struct for readability | Martin Nordholts | -13/+46 |
| 2024-12-13 | rustc_borrowck: Stop suggesting the invalid syntax `&mut raw const` | Martin Nordholts | -0/+5 |
| 2024-12-13 | rustc_borrowck: Make suggest_ampmut() return type match its use | Martin Nordholts | -9/+8 |
| 2024-12-12 | Make BorrowSet/BorrowData fields accessible via public getters | Will Crichton | -10/+56 |
| 2024-12-11 | Make some types and methods related to Polonius + Miri public. | Will Crichton | -14/+14 |
| 2024-12-10 | Rename some `Analysis` and `ResultsVisitor` methods. | Nicholas Nethercote | -23/+23 |
| 2024-12-10 | Rename `EntrySets` as `EntryStates`. | Nicholas Nethercote | -6/+6 |
| 2024-12-10 | Call all `Domain` values `state`. | Nicholas Nethercote | -15/+15 |
| 2024-12-10 | Remove lifetimes from `BorrowckDomain`. | Nicholas Nethercote | -34/+30 |
| 2024-12-09 | Introduce `default_field_values` feature | Esteban Küber | -2/+6 |
| 2024-12-09 | Auto merge of #133891 - nnethercote:MixedBitSet, r=Mark-Simulacrum | bors | -2/+2 |
| 2024-12-07 | Mention type parameter in more cases and don't suggest ~const bound already t... | Esteban Küber | -3/+4 |
| 2024-12-05 | Change `ChunkedBitSet<MovePathIndex>`s to `MixedBitSet`. | Nicholas Nethercote | -2/+2 |
| 2024-12-04 | add assert | lcnr | -0/+7 |
| 2024-12-04 | remove unnecessary `eval_verify_bound` | lcnr | -18/+1 |
| 2024-12-04 | Rollup merge of #133798 - lcnr:nested-bodies-opaques, r=compiler-errors | Matthias Krüger | -43/+8 |
| 2024-12-03 | Rollup merge of #133545 - clubby789:symbol-intern-lit, r=jieyouxu | Matthias Krüger | -6/+4 |
| 2024-12-03 | small code cleanup | lcnr | -10/+7 |
| 2024-12-03 | closure requirements: don't replace bivariant opaque args | lcnr | -30/+0 |
| 2024-12-03 | update instrumentation | lcnr | -3/+1 |
| 2024-11-28 | Replace `Symbol::intern` calls with preinterned symbols | clubby789 | -6/+4 |
| 2024-11-28 | uplift fold_regions to rustc_type_ir | lcnr | -13/+19 |
| 2024-11-27 | Structurally resolve before applying projection in borrowck | Michael Goulet | -2/+40 |
| 2024-11-25 | `add_move_error_suggestions`: use a HIR visitor rather than `SourceMap` | dianne | -39/+118 |
| 2024-11-25 | Refactor `where` predicates, and reserve for attributes support | Frank King | -11/+7 |
| 2024-11-20 | reduce false positives of tail-expr-drop-order from consumed values | Ding Xiang Fei | -0/+5 |
| 2024-11-19 | move `fn is_item_raw` to `TypingEnv` | lcnr | -1/+2 |
| 2024-11-19 | Pass `flow_inits` by value. | Nicholas Nethercote | -11/+7 |
| 2024-11-19 | Put `param_env` into `infcx`. | Nicholas Nethercote | -81/+72 |
| 2024-11-19 | Pass `constraints` to `RegionInferenceContext::new`. | Nicholas Nethercote | -37/+25 |
| 2024-11-19 | Don't refcount `PlaceholderIndices`. | Nicholas Nethercote | -5/+3 |
| 2024-11-19 | Inline and remove `TypeVerifier::new`. | Nicholas Nethercote | -8/+1 |
