about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2025-01-29Rollup merge of #136212 - estebank:span-tweak, r=petrochenkovMatthias Krüger-15/+10
2025-01-29Rollup merge of #136104 - lqd:polonius-debugger-episode-2, r=matthewjasperLeón Orell Valerian Liehr-5/+136
2025-01-28Auto merge of #136203 - matthiaskrgr:rollup-1k0f44l, r=matthiaskrgrbors-1/+1
2025-01-28Tweak `&mut self` suggestion spanEsteban Küber-15/+10
2025-01-28Rollup merge of #136066 - compiler-errors:local-spans, r=lcnrMatthias Krüger-1/+1
2025-01-28Represent the raw pointer for a array length check as a new kind of fake borrowMichael Goulet-15/+17
2025-01-27Type level consts can show up in MIR type checkerMichael Goulet-2/+2
2025-01-26tidy up html structureRémy Rakic-4/+4
2025-01-26add NLL SCCs to polonius MIR dumpRémy Rakic-0/+49
2025-01-26add NLL region graph to the polonius MIR dumpRémy Rakic-1/+83
2025-01-25Rollup merge of #136031 - lqd:polonius-debugger-episode-1, r=compiler-errorsJacob Pratt-11/+170
2025-01-25Pass spans to perform_locally_in_new_solverMichael Goulet-1/+1
2025-01-25add CFG to polonius MIR dumpRémy Rakic-2/+71
2025-01-25switch polonius MIR dump to HTMLRémy Rakic-9/+67
2025-01-25use more explicit MIR dumping processRémy Rakic-4/+36
2025-01-25Rollup merge of #136018 - estebank:long-moved-type, r=jieyouxuMatthias Krüger-6/+44
2025-01-24Use short ty string for move errorsEsteban Küber-6/+44
2025-01-23`visit_x_unambig`Boxy-1/+1
2025-01-23Split hir `TyKind` and `ConstArgKind` in two and update `hir::Visitor`Boxy-4/+4
2025-01-23Make `hir::TyKind::TraitObject` use tagged ptrBoxy-1/+1
2025-01-22Rename `structurally_normalize` to `structurally_normalize_ty`Boxy-2/+2
2025-01-21Move supertrait_def_ids into the elaborate module like all other fnsMichael Goulet-3/+4
2025-01-19Run `clippy --fix` for `unnecessary_map_or` lintYotam Ofek-3/+3
2025-01-19Auto merge of #135709 - lqd:bring-back-len, r=compiler-errorsbors-5/+19
2025-01-18Revert "Auto merge of #134330 - scottmcm:no-more-rvalue-len, r=matthewjasper"Rémy Rakic-5/+19
2025-01-18Auto merge of #135682 - matthiaskrgr:rollup-cl7zlt1, r=matthiaskrgrbors-40/+66
2025-01-18Rollup merge of #134455 - lcnr:move-errors-in-promoteds, r=compiler-errorsMatthias Krüger-9/+9
2025-01-17encode `Locations::All` typeck constraints as logical edgesRémy Rakic-25/+49
2025-01-17make `LocalizedConstraintGraph` a struct and not an aliasRémy Rakic-21/+23
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