summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2024-06-06Uplift TypeRelation and RelateMichael Goulet-1/+1
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
2024-03-23Use `chunk_by` when building `ReverseSccGraph`Josh Stone-6/+5
2024-03-23Auto merge of #119552 - krtab:dead_code_priv_mod_pub_field, r=cjgillot,saethlinbors-2/+0
2024-03-21Strip placeholders from hidden types before remapping generic parameter in th...Oli Scherer-0/+5
2024-03-20make `type_flags(ReError) & HAS_ERROR`Ali MJ Al-Nasrawy-4/+0
2024-03-18Prevent opaque types being instantiated twice with different regions within t...Oli Scherer-20/+76
2024-03-12Remove unused fields in some structuresArthur Carcano-2/+0
2024-03-11Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch...Oli Scherer-1/+1
2024-03-11Make `DefiningAnchor::Bind` only store the opaque types that may be constrain...Oli Scherer-1/+1
2024-03-08Make TAITs capture all higher-ranked lifetimes in scopeMichael Goulet-8/+11
2024-02-28Rename `DiagnosticBuilder` as `Diag`.Nicholas Nethercote-2/+2
2024-02-22`report_mismatch` did not actually report anymoreOli Scherer-1/+1
2024-02-22Avoid emitting type mismatches against `{type error}`Oli Scherer-6/+8
2024-02-19Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers.Nicholas Nethercote-2/+2
2024-02-16Move trait into attr so it's greppableMichael Goulet-2/+2
2024-02-16Use extension trait deriveMichael Goulet-9/+3
2024-02-12Rollup merge of #120958 - ShoyuVanilla:remove-subst, r=oli-obkMatthias Krüger-12/+12
2024-02-12Dejargnonize substShoyu Vanilla-12/+12
2024-02-12remove a bunch of dead parameters in fnyukang-3/+3
2024-02-09Rollup merge of #120693 - nnethercote:invert-diagnostic-lints, r=davidtwcoMatthias Krüger-8/+2
2024-02-06Invert diagnostic lints.Nicholas Nethercote-8/+2
2024-02-02Remove dead args from functionsMichael Goulet-39/+2