about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2025-01-17Rollup merge of #134980 - lqd:polonius-next-episode-7, r=jackh726Matthias Krüger-171/+386
2025-01-16Coerce safe-to-call target_feature functions to fn pointers.Luca Versari-1/+14
2025-01-14Rollup merge of #134940 - compiler-errors:scrape, r=lcnrJubilee-19/+48
2025-01-14Make sure to scrape region constraints from deeply normalizing type outlives ...Michael Goulet-19/+48
2025-01-14mir borrowck: cleanup late-bound region handlinglcnr-40/+26
2025-01-14Auto merge of #135465 - jhpratt:rollup-7p93bct, r=jhprattbors-2/+2
2025-01-13rm unnecessary `OpaqueTypeDecl` wrapperlcnr-2/+2
2025-01-13Assert that Instance::try_resolve is only used on body-like thingsMichael Goulet-38/+29
2025-01-12Auto merge of #135402 - matthiaskrgr:rollup-cz7hs13, r=matthiaskrgrbors-1/+0
2025-01-12Rollup merge of #135378 - compiler-errors:unnecessary-stashing, r=chenyukangMatthias Krüger-1/+0
2025-01-12Rollup merge of #135364 - yotamofek:borrowck-diag-fix, r=compiler-errorsMatthias Krüger-13/+10
2025-01-12move out of scope precomputer codeRémy Rakic-34/+32
2025-01-12deal with naive reachability weaknessRémy Rakic-13/+82
2025-01-12handle kills in reachabilityRémy Rakic-7/+126
2025-01-12replace location-insensitive analysis with location-sensitive analysisRémy Rakic-140/+59
2025-01-12introduce reachability to the constraint graphRémy Rakic-10/+112
2025-01-12disable NLL liveness optimization when using poloniusRémy Rakic-5/+13
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-1/+0
2025-01-11collect diag suggestions instead of pushing into vector repeatedlyYotam Ofek-12/+9
2025-01-11improve clunky grammar in borrowck diagnosticYotam Ofek-1/+1
2025-01-11rename `BitSet` to `DenseBitSet`Rémy Rakic-17/+18
2025-01-08Remove special-casing for argument patterns in MIR typeckdianne-13/+0
2025-01-08Auto merge of #135260 - matthiaskrgr:rollup-8irqs72, r=matthiaskrgrbors-146/+153
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