summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
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
2024-06-12Address code review comments on the commentsAmanda Stjerna-29/+29
2024-06-12Move `RegionTracker` to `region_infer`Amanda Stjerna-1/+92
2024-06-12Resurrect some comments, remove a `pub`Amanda Stjerna-1/+42
2024-06-12Roll back a few `#[instrument]`Amanda Stjerna-15/+12
2024-06-12Simplify path compression logicAmanda Stjerna-0/+2
2024-06-12Extend SCC construction to enable extra functionalityAmanda Stjerna-196/+69
2024-06-06Uplift TypeRelation and RelateMichael Goulet-1/+1
2024-06-05Remove confusing `use_polonius` flag and do less cloningAmanda Stjerna-5/+3
2024-06-03Opt-in diagnostics reporting to avoid doing extra work in the new solverMichael Goulet-1/+1
2024-05-20Uplift RegionVidMichael Goulet-5/+5
2024-05-11Consolidate obligation cause codes for where clausesMichael Goulet-4/+1
2024-05-10Name tweaksMichael Goulet-1/+4
2024-05-10More rename falloutMichael Goulet-1/+1
2024-05-10Rename some ObligationCauseCode variantsMichael Goulet-5/+2
2024-05-09Rollup merge of #124924 - goofylfg:master, r=est31Matthias Krüger-1/+1
2024-05-09Rollup merge of #124893 - xldenis:public-region-apis, r=lcnrMatthias Krüger-5/+14
2024-05-09chore: remove repetitive wordsgoofylfg-1/+1
2024-05-08Make a minimal amount of region APIs publicXavier Denis-5/+14
2024-05-06BorrowckInferCtxt: infcx by valuelcnr-6/+3
2024-04-29Remove `extern crate rustc_middle` from numerous crates.Nicholas Nethercote-0/+1
2024-04-16Rollup merge of #123797 - amandasystems:better-graphviz, r=oli-obkGuillaume Gomez-6/+38
2024-04-15Rollup merge of #123934 - WaffleLapkin:graph-mini-refactor, r=fmease许杰友 Jieyou Xu (Joe)-3/+2
2024-04-14Make `depth_first_search` into a standalone functionMaybe Waffle-3/+2
2024-04-14Merge `{With,Graph}{Successors,Predecessors}` into `{Successors,Predecessors}`Maybe Waffle-1/+1
2024-04-11Slightly more readable NLL/constraint graph dumpsAmanda Stjerna-6/+38
2024-04-08Eliminate `DefiningAnchor` now that is just a single-variant enumOli Scherer-4/+3
2024-04-08Pass list of defineable opaque types into canonical queriesOli Scherer-0/+12
2024-03-28simplify check_uniqueAli MJ Al-Nasrawy-70/+25