summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2023-01-18Auto merge of #106503 - cjgillot:remap-nofilter, r=oli-obkbors-1/+1
2023-01-18Rollup merge of #106747 - yanchen4791:issue-105507-fix, r=estebankMatthias Krüger-0/+8
2023-01-17Add 'static lifetime suggestion when GAT implied 'static requirement from HRTByanchen4791-0/+8
2023-01-17Rollup merge of #104505 - WaffleLapkin:no-double-spaces-in-comments, r=jackh726Matthias Krüger-3/+3
2023-01-17Remove double spaces after dots in commentsMaybe Waffle-3/+3
2023-01-16Improve a TAIT error and add an error code plus documentationOli Scherer-11/+9
2023-01-14Fix some missed double spaces.André Vennberg-1/+1
2023-01-11Do not filter substs in `remap_generic_params_to_declaration_params`.Camille GILLOT-1/+1
2023-01-11Change `src/test` to `tests` in source files, fix tidy and testsAlbert Larsan-1/+1
2023-01-09Assert defining anchor is set in take_opaque_typesMichael Goulet-1/+1
2022-12-20Hackily fix an opaque type ICEOli Scherer-1/+1
2022-12-20Replace a `find` with a loop to simplify the logic.Oli Scherer-19/+22
2022-12-20Make it easier to debug where a region error was createdOli Scherer-1/+1
2022-12-20Auto merge of #105880 - Nilstrieb:make-newtypes-less-not-rust, r=oli-obkbors-2/+4
2022-12-18Make `#[debug_format]` an attribute in `newtype_index`Nilstrieb-2/+4
2022-12-18remove redundant fn params that were only "used" in recursionMatthias Krüger-26/+3
2022-12-15Auto merge of #104765 - chenyukang:yukang-fix-104639-lifetime-check, r=oli-obkbors-20/+7
2022-11-23Fix #104639, find the right lower bound region in the scenario of partial ord...yukang-20/+7
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