about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2025-02-03Contracts core intrinsics.Felix S. Klock II-0/+1
2025-02-03Rollup merge of #136299 - lqd:polonius-next-episode-9, r=jackh726Matthias Krüger-82/+153
2025-02-02Rollup merge of #136402 - notriddle:notriddle/let-expr-detector, r=compiler-e...Matthias Krüger-18/+92
2025-02-02Rollup merge of #136368 - estebank:listify, r=fee1-deadMatthias Krüger-11/+9
2025-02-02Rollup merge of #136328 - estebank:long-ty-path, r=jieyouxu,lqdMatthias Krüger-35/+4
2025-02-01diagnostics: fix borrowck suggestions for if/while let conditionalsMichael Howell-18/+92
2025-02-01Rollup merge of #130514 - compiler-errors:unsafe-binders, r=oli-obkMatthias Krüger-10/+78
2025-01-31Rework "long type names" printing logicEsteban Küber-35/+4
2025-01-31Make comma separated lists of anything easier to make for errorsEsteban Küber-11/+9
2025-01-31Implement MIR, CTFE, and codegen for unsafe bindersMichael Goulet-10/+78
2025-01-31Rollup merge of #136336 - nnethercote:overhaul-rustc_middle-util, r=jieyouxuMatthias Krüger-8/+5
2025-01-31record boring locals in polonius contextRémy Rakic-29/+69
2025-01-31create context for errors and diagnostics for last borrowck phaseRémy Rakic-17/+28
2025-01-31split polonius context into per-phase dataRémy Rakic-50/+70
2025-01-31Rollup merge of #136278 - lqd:polonius-debugger-episode-3, r=matthewjasperJacob Pratt-9/+101
2025-01-31Move `find_self_call`.Nicholas Nethercote-8/+5
2025-01-30Auto merge of #136038 - compiler-errors:outlives, r=lcnrbors-9/+7
2025-01-30add constraint graph to polonius MIR dumpRémy Rakic-9/+101
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-28Move outlives env computation into methodsMichael Goulet-9/+7
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-1/+1
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/+41
2025-01-24Use short ty string for move errorsEsteban Küber-6/+41
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-18Do not ICE on default_field_value const with lifetimesEsteban Küber-1/+5
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