summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2023-01-19Do not filter substs in `remap_generic_params_to_declaration_params`.Camille GILLOT-1/+1
2022-11-21Add more regression testsOli Scherer-6/+6
2022-11-21Auto merge of #103491 - cjgillot:self-rpit, r=oli-obkbors-11/+38
2022-11-18rename `is_tainted_by_errors` Boxy-1/+1
2022-11-18`InferCtxt::is_tainted_by_errors` returns `ErrorGuaranteed`Boxy-2/+2
2022-11-16Convert predicates into Predicate in the Obligation constructorOli Scherer-5/+3
2022-11-14Give precendence to regions from member constaints when inferring concrete ty...Camille GILLOT-11/+38
2022-11-09lint auto passAndyJado-0/+8
2022-11-08add 'ty_error_with_guaranteed' and 'const_error_with_guaranteed'yukang-2/+2
2022-11-08Rollup merge of #103865 - compiler-errors:fallback-has-occurred-tracking, r=e...Dylan DPC-1/+1
2022-11-06Auto merge of #102618 - aliemjay:simplify-closure-promote, r=compiler-errorsbors-147/+18
2022-11-06Move fallback_has_occurred to FnCtxtMichael Goulet-1/+1
2022-11-05use spans in TypeTest rather than mir::LocationAli MJ Al-Nasrawy-8/+8
2022-11-05simplify applying closure requirementsAli MJ Al-Nasrawy-139/+10
2022-11-05Rollup merge of #103868 - compiler-errors:trait-engine-less, r=jackh726Matthias Krüger-28/+25
2022-11-02Use TraitEngine lessMichael Goulet-28/+25
2022-10-31Collect late-bound regions from all closure parents in `closure_mapping`Michael Goulet-1/+1
2022-10-28Rollup merge of #103641 - compiler-errors:issue-103624, r=cjgillotMatthias Krüger-5/+5
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-5/+5
2022-10-25Use the general type API instead of directly accessing register_hidden_typeOli Scherer-8/+6
2022-10-20Auto merge of #103220 - compiler-errors:deny-infers, r=lcnrbors-5/+5
2022-10-20Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726bors-1/+1
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-5/+5
2022-10-16Auto merge of #102080 - yanchen4791:issue-99824-fix, r=cjgillotbors-1/+22
2022-10-14Require lifetime bounds for opaque types in order to allow hidden types to ca...Oli Scherer-1/+1
2022-10-07Remap hidden types from typeck before storing them in the TypeckResultOli Scherer-1/+1
2022-10-07Move ReverseMapper logic onto OpaqueHiddenTypeOli Scherer-224/+7
2022-10-07Remove some dead codeOli Scherer-25/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-61/+57
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-9/+9
2022-10-07Introduce TypeErrCtxtCameron Steffen-2/+3
2022-10-02Remove 'E0312' from 'compile_fail,E0312' statement temporarilyreez12g-2/+2
2022-09-29 Mark ignore on error code docs in compiler/rustc_borrowck/src/region_infer/m...reez12g-2/+2
2022-09-28Fix missing explanation of where borrowed reference is used when the borrow o...Yan Chen-1/+22
2022-09-16Final bitsJack Huey-2/+14
2022-09-16Add ExtraConstraintInfoJack Huey-9/+13
2022-09-16Add outlives_constraint to BlameConstraintJack Huey-0/+2
2022-09-16Make QueryOutlivesConstraint contain a ConstraintCategoryJack Huey-2/+11
2022-09-16Revert "Better errors for implied static bound"Jack Huey-38/+11
2022-09-13Better errors for implied static boundJack Huey-11/+38
2022-09-13Cleanup retrieve_closure_constraint_infoJack Huey-41/+29
2022-09-13Remove unused body argsJack Huey-22/+4
2022-09-08Remove ReEmptyJack Huey-2/+2
2022-09-08In ReverseMapper, don't fallback to ReEmpty, instead ReStaticJack Huey-21/+11
2022-09-08Create VarValue::EmptyJack Huey-1/+1
2022-09-08remove unnecessary `PartialOrd` and `Ord`Takayuki Maeda-1/+0
2022-09-01tracing::instrument cleanupOli Scherer-18/+12
2022-08-29Rollup merge of #101146 - jackh726:borrowck-logging, r=compiler-errorsMatthias Krüger-15/+9
2022-08-29Various changes to logging of borrowck-related codeJack Huey-15/+9
2022-08-29Rollup merge of #99027 - tmiasko:basic-blocks, r=oli-obkMatthias Krüger-2/+2