about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2025-02-11Deeply normalize signature in new solverMichael Goulet-6/+72
2025-02-11Deeply normalize in impl headerMichael Goulet-1/+1
2025-02-11Deeply normalize args for implied boundsMichael Goulet-1/+1
2025-02-11Make DeeplyNormalize a real type opMichael Goulet-34/+8
2025-02-10Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptrBastian Kersting-1/+1
2025-02-08Rustfmtbjorn3-78/+91
2025-02-06Add opt_alias_variances and use it in outlives codeMichael Goulet-5/+7
2025-02-05Rollup merge of #128045 - pnkfelix:rustc-contracts, r=oli-obkLeón Orell Valerian Liehr-0/+1
2025-02-04fix NLL TLS end of function spansRémy Rakic-1/+13
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-38/+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-38/+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/+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