about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2024-12-18Auto merge of #134243 - nnethercote:re-export-more-rustc_span, r=jieyouxubors-21/+11
2024-12-18Re-export more `rustc_span::symbol` things from `rustc_span`.Nicholas Nethercote-21/+11
2024-12-17Rollup merge of #134378 - lqd:polonius-next-episode-2, r=jackh726Matthias Krüger-260/+240
2024-12-17Rollup merge of #134412 - lcnr:borrowck-cleanup-trivial, r=jackh726Jacob Pratt-18/+17
2024-12-17Rollup merge of #134397 - Enselic:raw-mut, r=compiler-errorsJacob Pratt-10/+20
2024-12-17small refactor to region error handlinglcnr-11/+13
2024-12-17move variable initializationlcnr-7/+4
2024-12-16rustc_borrowck: Suggest changing `&raw const` to `&raw mut` if applicableMartin Nordholts-4/+15
2024-12-16rustc_borrowck: suggest_ampmut(): Inline unneeded local varMartin Nordholts-2/+1
2024-12-16rustc_borrowck: suggest_ampmut(): Just rename some variablesMartin Nordholts-6/+6
2024-12-16Avoid wrapping a trivially defaultable type in `Option`Oli Scherer-6/+3
2024-12-15improve consistency within fact genRémy Rakic-46/+44
2024-12-15refactor `type_check` module slightlyRémy Rakic-47/+48
2024-12-15simplify `emit_outlives_facts`Rémy Rakic-13/+7
2024-12-15simplify `emit_access_facts` and fact generationRémy Rakic-58/+21
2024-12-15use let else more consistently in fact generationRémy Rakic-49/+43
2024-12-15clean up `translate_outlives_facts`Rémy Rakic-37/+48
2024-12-15clean up `emit_drop_facts`Rémy Rakic-29/+32
2024-12-15clean up `emit_access_facts`Rémy Rakic-104/+120
2024-12-15Rollup merge of #134315 - lqd:polonius-next-episode-1, r=jackh726Stuart Cook-265/+253
2024-12-14refactor access fact generationRémy Rakic-80/+67
2024-12-14move datalog fact generation into a legacy moduleRémy Rakic-185/+186
2024-12-14Rollup merge of #134191 - willcrichton:dev, r=RalfJung,lqdMatthias Krüger-4/+50
2024-12-14Auto merge of #134185 - compiler-errors:impl-trait-in-bindings, r=oli-obkbors-6/+10
2024-12-14(Re-)Implement impl_trait_in_bindingsMichael Goulet-1/+1
2024-12-14Split UserTypeAnnotation to have a kindMichael Goulet-6/+10
2024-12-14Rollup merge of #134244 - Enselic:no-mut-hint-for-raw-ref, r=jieyouxuMatthias Krüger-16/+53
2024-12-13Rollup merge of #133938 - nnethercote:rustc_mir_dataflow-renamings, r=oli-obkMatthias Krüger-78/+74
2024-12-13rustc_borrowck: Convert suggest_ampmut() 4-tuple to struct for readabilityMartin Nordholts-13/+46
2024-12-13rustc_borrowck: Stop suggesting the invalid syntax `&mut raw const`Martin Nordholts-0/+5
2024-12-13rustc_borrowck: Make suggest_ampmut() return type match its useMartin Nordholts-9/+8
2024-12-12Make BorrowSet/BorrowData fields accessible via public gettersWill Crichton-10/+56
2024-12-11Make some types and methods related to Polonius + Miri public.Will Crichton-14/+14
2024-12-10Rename some `Analysis` and `ResultsVisitor` methods.Nicholas Nethercote-23/+23
2024-12-10Rename `EntrySets` as `EntryStates`.Nicholas Nethercote-6/+6
2024-12-10Call all `Domain` values `state`.Nicholas Nethercote-15/+15
2024-12-10Remove lifetimes from `BorrowckDomain`.Nicholas Nethercote-34/+30
2024-12-09Introduce `default_field_values` featureEsteban Küber-2/+6
2024-12-09Auto merge of #133891 - nnethercote:MixedBitSet, r=Mark-Simulacrumbors-2/+2
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-3/+4
2024-12-05Change `ChunkedBitSet<MovePathIndex>`s to `MixedBitSet`.Nicholas Nethercote-2/+2
2024-12-04Rollup merge of #133798 - lcnr:nested-bodies-opaques, r=compiler-errorsMatthias Krüger-43/+8
2024-12-03Rollup merge of #133545 - clubby789:symbol-intern-lit, r=jieyouxuMatthias Krüger-6/+4
2024-12-03small code cleanuplcnr-10/+7
2024-12-03closure requirements: don't replace bivariant opaque argslcnr-30/+0
2024-12-03update instrumentationlcnr-3/+1
2024-11-28Replace `Symbol::intern` calls with preinterned symbolsclubby789-6/+4
2024-11-28uplift fold_regions to rustc_type_irlcnr-13/+19
2024-11-27Structurally resolve before applying projection in borrowckMichael Goulet-2/+40
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-11/+7