about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2025-01-08Rollup merge of #135250 - lqd:simple-cleanups, r=matthewjasperMatthias Krüger-146/+153
2025-01-08Try to explain borrow for tail expr temporary drop order change in 2024Michael Goulet-21/+31
2025-01-08Don't do AccessDepth::Drop for types with no drop implMichael Goulet-4/+12
2025-01-08remove an extraneous commentwieDasDing-1/+0
2025-01-08apply suggestions on fn nameDing Xiang Fei-4/+4
2025-01-08run borrowck tests on BIDs and emit tail-expr-drop-order lints forDing Xiang Fei-14/+72
2025-01-08rename `AllFacts` to `PoloniusFacts`Rémy Rakic-45/+47
2025-01-08rename `LocationTable` to `PoloniusLocationTable`Rémy Rakic-46/+47
2025-01-08Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnrbors-239/+218
2025-01-08stop calling `DenseLocationMap` "elements"Rémy Rakic-61/+65
2025-01-08Rollup merge of #134920 - lqd:polonius-next-episode-6, r=jackh726Jacob Pratt-117/+307
2025-01-07Rollup merge of #133810 - lcnr:remove-verify_bound, r=compiler-errorsMatthias Krüger-18/+8
2025-01-07Avoid naming variables `str`Josh Triplett-3/+3
2025-01-06only avoid blaming assignments from argument patternsdianne-27/+26
2025-01-06point out unblamed constraints from `Copy`/`Sized` bounds in region errorsdianne-0/+24
2025-01-06make outlives constraints from pointer comparisons less boringdianne-2/+2
2025-01-06make outlives constraints from generic arguments less boringdianne-17/+24
2025-01-06`best_blame_constraint`: prioritize blaming interesting-seeming constraintsdianne-72/+87
2025-01-06remove the unused `ConstraintCategory::ClosureBounds`dianne-1/+0
2025-01-06`best_blame_constraint`: avoid blaming assignments without user-provided typesdianne-6/+19
2025-01-06`best_blame_constraint`: avoid blaming constraints from MIR generated by desu...dianne-1/+8
2025-01-06`best_blame_constraint`: add a special case to recover object lifetime defaul...dianne-1/+21
2025-01-06`best_blame_constraint`: don't filter constraints by sup SCCdianne-49/+11
2025-01-06further clean up `best_blame_constraint`dianne-50/+46
2025-01-06cleanup: remove `ExtraConstraintInfo`dianne-131/+68
2025-01-06address review commentsRémy Rakic-21/+31
2025-01-06Remove CallKind::Deref hack from UseSpansMichael Goulet-9/+0
2025-01-06Improve span when temporary receiver is dropped in edition 2024Michael Goulet-0/+34
2025-01-04turn hir::ItemKind::Fn into a named-field variantRalf Jung-2/+6
2025-01-01remove borrowck duplicate of `std::ops::ControlFlow`Rémy Rakic-19/+16
2025-01-01remove `allow_two_phase_borrow`Rémy Rakic-14/+6
2025-01-01remove empty `util` moduleRémy Rakic-39/+0
2025-01-01move `find_assignments` to its only use siteRémy Rakic-2/+34
2025-01-01localize typeck constraintsRémy Rakic-6/+199
2025-01-01move typeck constraints conversion to its own moduleRémy Rakic-39/+44
2025-01-01Rollup merge of #134945 - compiler-errors:map-mutate-nits, r=estebankStuart Cook-7/+10
2024-12-31Rollup merge of #133486 - dianne:fix-move-error-suggestion, r=estebankTrevor Gross-39/+118
2024-12-31Fix span for IndexMut method call on HashMap/BTreeMapMichael Goulet-2/+2
2024-12-31Use if-let in structured suggestion instead of Option::mapMichael Goulet-6/+9
2024-12-31Explain how to mutate a HashMap/BTreeMap with more nuanceMichael Goulet-1/+1
2024-12-30rename `diags` fieldRémy Rakic-19/+26
2024-12-30clean up `BorrowckDiags`Rémy Rakic-23/+13
2024-12-30merge `diags` module into `diagnostics`Rémy Rakic-149/+142
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-22/+17
2024-12-30simplify `add_extra_drop_facts`Rémy Rakic-25/+20
2024-12-30move `location` module to polonius legacy moduleRémy Rakic-11/+11
2024-12-30fix a couple nitsRémy Rakic-6/+5
2024-12-29address review commentsRémy Rakic-7/+24
2024-12-29liveness constraints: draw the rest of the owlRémy Rakic-71/+180
2024-12-29finish filling polonius contextRémy Rakic-8/+40