| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-12-18 | introduce `LateParamRegionKind` | lcnr | -15/+17 |
| 2024-12-18 | we aren't actually sanitizing anything anymore | lcnr | -40/+31 |
| 2024-12-18 | merge PlaceTy field_ty computation | lcnr | -105/+12 |
| 2024-12-18 | TypeVerifier: stop computing types for later use | lcnr | -172/+74 |
| 2024-12-18 | rm TypeChecker::sanitize_type | lcnr | -19/+1 |
| 2024-12-18 | get_ambient_variance to inherent method | lcnr | -17/+2 |
| 2024-12-18 | address review comments | Rémy Rakic | -29/+27 |
| 2024-12-18 | introduce beginnings of polonius MIR dump | Rémy Rakic | -0/+118 |
| 2024-12-18 | extract main NLL MIR dump function | Rémy Rakic | -34/+46 |
| 2024-12-18 | set up skeleton for localized constraints conversion | Rémy Rakic | -1/+164 |
| 2024-12-18 | add general documentation on the polonius module | Rémy Rakic | -0/+35 |
| 2024-12-18 | introduce localized outlives constraints | Rémy Rakic | -0/+48 |
| 2024-12-18 | Auto merge of #134243 - nnethercote:re-export-more-rustc_span, r=jieyouxu | bors | -21/+11 |
| 2024-12-18 | Re-export more `rustc_span::symbol` things from `rustc_span`. | Nicholas Nethercote | -21/+11 |
| 2024-12-17 | Rollup merge of #134378 - lqd:polonius-next-episode-2, r=jackh726 | Matthias Krüger | -260/+240 |
| 2024-12-17 | Rollup merge of #134412 - lcnr:borrowck-cleanup-trivial, r=jackh726 | Jacob Pratt | -18/+17 |
| 2024-12-17 | Rollup merge of #134397 - Enselic:raw-mut, r=compiler-errors | Jacob Pratt | -10/+20 |
| 2024-12-17 | small refactor to region error handling | lcnr | -11/+13 |
| 2024-12-17 | move variable initialization | lcnr | -7/+4 |
| 2024-12-16 | rustc_borrowck: Suggest changing `&raw const` to `&raw mut` if applicable | Martin Nordholts | -4/+15 |
| 2024-12-16 | rustc_borrowck: suggest_ampmut(): Inline unneeded local var | Martin Nordholts | -2/+1 |
| 2024-12-16 | rustc_borrowck: suggest_ampmut(): Just rename some variables | Martin Nordholts | -6/+6 |
| 2024-12-16 | Avoid wrapping a trivially defaultable type in `Option` | Oli Scherer | -6/+3 |
| 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 |
