summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
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
2024-03-28reject external lifetimes as invalid argumentsAli MJ Al-Nasrawy-4/+10
2024-03-28rework opaque types region inferenceAli MJ Al-Nasrawy-87/+65
2024-03-28favor placeholders over existentials when choosing SCC representativesAli MJ Al-Nasrawy-12/+20
2024-03-28check RPITs for invalid argsAli MJ Al-Nasrawy-11/+1
2024-03-28ignore error paramsAli MJ Al-Nasrawy-0/+8
2024-03-28except equal parameters from the uniqueness checkAli MJ Al-Nasrawy-1/+97
2024-03-26ignore uncaptured lifetimes when checking opaquesAli MJ Al-Nasrawy-12/+11
2024-03-26fix ICE in check_uniqueAli MJ Al-Nasrawy-2/+11