summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
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-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
2024-10-07Rollup merge of #131225 - nnethercote:rustc_borrowck-mm, r=lqdJubilee-10/+13
2024-10-04rm `ItemKind::OpaqueTy`Noah Lev-2/+2
2024-10-04Avoid `&Rc<T>` arguments.Nicholas Nethercote-7/+8
2024-10-04Use `Box` instead of `Rc` for `polonius_output`.Nicholas Nethercote-3/+5
2024-10-02Move in_trait into OpaqueTyOriginMichael Goulet-2/+2
2024-10-02Use named fields for OpaqueTyOriginMichael Goulet-2/+2
2024-09-22Reformat using the new identifier sorting from rustfmtMichael Goulet-9/+9
2024-09-11Also fix if in elseMichael Goulet-8/+4
2024-08-31Rollup merge of #129767 - nnethercote:rm-extern-crate-tracing-4, r=jieyouxuMatthias Krüger-0/+3
2024-08-30Remove `#[macro_use] extern crate tracing` from `rustc_borrowck`.Nicholas Nethercote-0/+3
2024-08-30refactor NLL MIR dump entry pointRémy Rakic-1/+1
2024-08-16Add `warn(unreachable_pub)` to `rustc_borrowck`.Nicholas Nethercote-10/+10
2024-08-06Don't arbitrarily choose one upper bound for hidden captured regionMichael Goulet-15/+20
2024-07-29Reformat `use` declarations.Nicholas Nethercote-35/+35
2024-07-21Move all error reporting into rustc_trait_selectionMichael Goulet-1/+1
2024-07-08Move trait selection error reporting to its own top-level moduleMichael Goulet-1/+1
2024-07-03Auto merge of #123720 - amandasystems:dyn-enable-refactor, r=nikomatsakisbors-72/+29
2024-07-01Code review: rename the method `min_universe()`Amanda Stjerna-7/+9
2024-07-01Handle universe leaks by rewriting the constraint graphAmanda Stjerna-67/+22
2024-06-26Automatically taint InferCtxt when errors are emittedOli Scherer-4/+9
2024-06-24Auto merge of #126023 - amandasystems:you-dropped-this-again, r=nikomatsakisbors-5/+3
2024-06-21Rename a bunch of thingsMichael Goulet-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 08:44:39 +0000