about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2025-02-19Rollup merge of #137216 - amandasystems:cheap-outlives-eval, r=compiler-errorsMatthias Krüger-0/+5
2025-02-19Rollup merge of #137213 - nnethercote:rm-rustc_middle-mir-tcx, r=compiler-errorsMatthias Krüger-7/+3
2025-02-19Remove `rustc_middle::mir::tcx` module.Nicholas Nethercote-7/+3
2025-02-18Rollup merge of #135711 - estebank:issue-135649, r=davidtwcoMatthias Krüger-1/+5
2025-02-18eval_outlives: bail out early if both regions are in the same SCCAmanda Stjerna-0/+5
2025-02-18Move methods from `Map` to `TyCtxt`, part 2.Nicholas Nethercote-29/+25
2025-02-17Clean up dropck code a bitMatthew Jasper-12/+12
2025-02-17Report dropck normalization errors in borrowckMatthew Jasper-13/+44
2025-02-17Rollup merge of #136466 - nnethercote:start-removing-Map, r=cjgillotMatthias Krüger-52/+48
2025-02-17Overhaul the `intravisit::Map` trait.Nicholas Nethercote-15/+15
2025-02-17Move some `Map` methods onto `TyCtxt`.Nicholas Nethercote-35/+31
2025-02-17Avoid unnecessary use of the `Map` trait.Nicholas Nethercote-2/+2
2025-02-15Rework name_regions to not rely on reverse scc graph for non-member-constrain...Michael Goulet-7/+31
2025-02-14further simplify a matchdianne-12/+11
2025-02-13remove `fr_is_local` and `outlived_fr_is_local` fields from `ErrorConstraintI...dianne-31/+14
2025-02-13Rollup merge of #136559 - compiler-errors:resolve-regions-for-type-test-failu...Jacob Pratt-2/+5
2025-02-13Improved named region errorsMichael Goulet-2/+5
2025-02-12Auto merge of #135994 - 1c3t3a:rename-unsafe-ptr, r=oli-obkbors-1/+1
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-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