summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src/region_infer
AgeCommit message (Expand)AuthorLines
2023-03-11tweak ClosureOutlivesSubjectTyAli MJ Al-Nasrawy-1/+1
2023-03-11ignore bivariant regions in opaque typesAli MJ Al-Nasrawy-0/+30
2023-03-11smarter algorithm for finding an equal regionAli MJ Al-Nasrawy-67/+9
2023-03-11promote subject even if it has unnamed regionsAli MJ Al-Nasrawy-21/+14
2023-03-03Match unmatched backticks in compiler/ that are part of rustdocest31-2/+2
2023-02-22Rename ty_error_with_guaranteed to ty_error, ty_error to ty_error_miscMichael Goulet-4/+4
2023-02-22Use ty_error_with_guaranteed in many more placesMichael Goulet-15/+17
2023-02-22Remove type-traversal trait aliasesAlan Egerton-4/+4
2023-02-21Rollup merge of #104239 - b-naber:sccs-info, r=jackh726Matthias Krüger-2/+77
2023-02-21address reviewb-naber-4/+4
2023-02-21Make hidden type registration opt-in, so that each site can be reviewed on it...Oli Scherer-1/+2
2023-02-20remove cfg attributesb-naber-5/+5
2023-02-19add some cfgs backb-naber-10/+24
2023-02-19remove cfgsb-naber-6/+2
2023-02-19sccs infob-naber-2/+67
2023-02-16Auto merge of #108020 - nnethercote:opt-mk_region, r=compiler-errorsbors-3/+3
2023-02-15Rollup merge of #105300 - aliemjay:member-lower, r=oli-obkDylan DPC-11/+24
2023-02-15Add specialized variants of `mk_region`.Nicholas Nethercote-3/+3
2023-02-13Alias folding/visiting traits instead of re-exportAlan Egerton-1/+1
2023-02-10Auto merge of #107652 - estebank:re_error, r=oli-obkbors-3/+2
2023-02-09Cleanup free_region_relations a bitJack Huey-0/+1
2023-02-09Change to `ReError(ErrorGuaranteed)`Esteban Küber-3/+2
2023-02-09Introduce `ReError`Esteban Küber-1/+1
2023-01-26Rollup merge of #106971 - oli-obk:tait_error, r=davidtwcoMatthias Krüger-12/+0
2023-01-23fix: use LocalDefId instead of HirId in trait resVincenzo Palazzo-6/+4
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-17rework min_choice algorithm of member constraintsAli MJ Al-Nasrawy-11/+24
2023-01-17Handle diagnostics customization on the fluent sideOli Scherer-12/+0
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