summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2025-02-08Rustfmtbjorn3-4/+4
2025-01-28Move outlives env computation into methodsMichael Goulet-9/+7
2025-01-28Consolidate OutlivesEnv construction with resolve_regionsMichael Goulet-1/+1
2025-01-17Rollup merge of #134980 - lqd:polonius-next-episode-7, r=jackh726Matthias Krüger-67/+27
2025-01-12replace location-insensitive analysis with location-sensitive analysisRémy Rakic-67/+27
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-1/+0
2025-01-08Rollup merge of #135250 - lqd:simple-cleanups, r=matthewjasperMatthias Krüger-28/+29
2025-01-08Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnrbors-127/+106
2025-01-08stop calling `DenseLocationMap` "elements"Rémy Rakic-28/+29
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-10/+7
2025-01-06make outlives constraints from generic arguments less boringdianne-10/+16
2025-01-06`best_blame_constraint`: prioritize blaming interesting-seeming constraintsdianne-72/+87
2025-01-06`best_blame_constraint`: avoid blaming assignments without user-provided typesdianne-0/+1
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/+45
2025-01-06cleanup: remove `ExtraConstraintInfo`dianne-29/+5
2024-12-30move `facts` module to polonius legacy moduleRémy Rakic-1/+1
2024-12-29finish filling polonius contextRémy Rakic-0/+8
2024-12-29Auto merge of #134627 - estebank:issue-133252, r=jackh726bors-2/+8
2024-12-21Auto merge of #134268 - lqd:polonius-next, r=jackh726bors-0/+9
2024-12-21Avoid ICE in borrowckEsteban Küber-2/+8
2024-12-21Auto merge of #134501 - lcnr:member-constraints-yeet, r=oli-obkbors-1/+3
2024-12-20Rollup merge of #134574 - lcnr:opaque-ty-hack-yeet, r=compiler-errorsMatthias Krüger-6/+7
2024-12-20next-solver: rm opaque type hacklcnr-6/+7
2024-12-20add commentslcnr-3/+6
2024-12-20more directly handle member constraintslcnr-1/+3
2024-12-18fix crasheslcnr-1/+1
2024-12-18introduce beginnings of polonius MIR dumpRémy Rakic-0/+5
2024-12-18set up skeleton for localized constraints conversionRémy Rakic-0/+4
2024-12-04add assertlcnr-0/+7
2024-12-04remove unnecessary `eval_verify_bound`lcnr-18/+1
2024-12-03small code cleanuplcnr-10/+7
2024-12-03closure requirements: don't replace bivariant opaque argslcnr-30/+0
2024-12-03update instrumentationlcnr-3/+1
2024-11-28uplift fold_regions to rustc_type_irlcnr-5/+7
2024-11-19Pass `constraints` to `RegionInferenceContext::new`.Nicholas Nethercote-11/+23
2024-11-19Don't refcount `PlaceholderIndices`.Nicholas Nethercote-4/+3
2024-11-19Clean up `UniversalRegions`.Nicholas Nethercote-30/+29
2024-11-08Get rid of check_opaque_type_well_formedMichael Goulet-89/+1
2024-11-04Remove unnecessary qualifiers.Nicholas Nethercote-3/+3
2024-11-04Tidy up comments and some formatting.Nicholas Nethercote-6/+8
2024-11-04Reduce visibilities.Nicholas Nethercote-4/+6
2024-10-31Encode cross-crate opaque type originMichael Goulet-1/+1
2024-10-29TypingMode :thinking:lcnr-6/+8
2024-10-28fix clippy::clone_on_ref_ptr for compilerklensy-2/+2
2024-10-24Plumb through param_env to note_type_errMichael Goulet-0/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-13 18:53:40 +0000