summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2022-10-29Rollup merge of #103625 - WaffleLapkin:no_tyctxt_dogs_allowed, r=compiler-errorsGuillaume Gomez-1/+1
2022-10-28Rollup merge of #103641 - compiler-errors:issue-103624, r=cjgillotMatthias Krüger-52/+53
2022-10-27Erase regions from CallArgument, add test + blessMichael Goulet-1/+1
2022-10-27Revert "Make ClosureOutlivesRequirement not rely on an unresolved type"Michael Goulet-52/+53
2022-10-27Rollup merge of #103255 - oli-obk:opaque_wrong_eq_relation, r=compiler-errorsMatthias Krüger-23/+10
2022-10-27Accept `TyCtxt` instead of `TyCtxtAt` in `Ty::is_*` functionsMaybe Waffle-1/+1
2022-10-25Use the general type API instead of directly accessing register_hidden_typeOli Scherer-8/+6
2022-10-25Pull opaque type handling out of the type relating delegateOli Scherer-15/+4
2022-10-25Rollup merge of #103382 - compiler-errors:anon-apit-lt-region-ice, r=cjgillotYuki Okushi-8/+92
2022-10-23Migrate all diagnosticsNilstrieb-19/+19
2022-10-22Don't ICE on regions from anonymous_lifetime_in_impl_traitMichael Goulet-8/+92
2022-10-20Auto merge of #103290 - matthiaskrgr:rollup-ngozai3, r=matthiaskrgrbors-2/+9
2022-10-20Rollup merge of #103276 - compiler-errors:default-on-uninit-ice, r=TaKO8KiMatthias Krüger-2/+9
2022-10-20Auto merge of #103220 - compiler-errors:deny-infers, r=lcnrbors-53/+52
2022-10-20Auto merge of #102417 - oli-obk:opaque_lifetimes2, r=jackh726bors-1/+1
2022-10-19Erase regions before checking for default in uninitialized binding errorMichael Goulet-2/+9
2022-10-19Make ClosureOutlivesRequirement not rely on an unresolved typeMichael Goulet-53/+52
2022-10-17mir constants: type traversing bye byelcnr-24/+2
2022-10-16Auto merge of #102080 - yanchen4791:issue-99824-fix, r=cjgillotbors-134/+45
2022-10-14Rollup merge of #103018 - Rageking8:more-dupe-word-typos, r=TaKO8KiDylan DPC-1/+1
2022-10-14Require lifetime bounds for opaque types in order to allow hidden types to ca...Oli Scherer-1/+1
2022-10-14more dupe word typosRageking8-1/+1
2022-10-13Auto merge of #102700 - oli-obk:0xDEAD_TAIT, r=compiler-errorsbors-257/+7
2022-10-12Rollup merge of #102187 - b-naber:inline-const-source-info, r=eholkDylan DPC-0/+9
2022-10-08Rollup merge of #99818 - aliemjay:fix-closure-normalize, r=jackh726Michael Howell-58/+15
2022-10-08Rollup merge of #102675 - ouz-a:mir-technical-debt, r=oli-obkMatthias Krüger-10/+89
2022-10-08don't ICE when normalizing closure input tysAli MJ Al-Nasrawy-58/+15
2022-10-07Remap hidden types from typeck before storing them in the TypeckResultOli Scherer-1/+1
2022-10-07Move ReverseMapper logic onto OpaqueHiddenTypeOli Scherer-233/+7
2022-10-07Remove some dead codeOli Scherer-25/+1
2022-10-07Change InferCtxtBuilder from enter to buildCameron Steffen-174/+133
2022-10-07Remove TypeckResults from InferCtxtCameron Steffen-43/+43
2022-10-07Introduce TypeErrCtxtCameron Steffen-36/+34
2022-10-06Remove `mir::CastKind::Misc`ouz-a-10/+89
2022-10-06Auto merge of #99324 - reez12g:issue-99144, r=jyn514bors-3/+3
2022-10-04It's not about types or consts, but the lack of regionsOli Scherer-1/+1
2022-10-02Remove 'E0312' from 'compile_fail,E0312' statement temporarilyreez12g-3/+3
2022-09-29Generate synthetic impl region even in closure body in associated fnMichael Goulet-5/+3
2022-09-29 Mark ignore on error code docs in compiler/rustc_borrowck/src/region_infer/m...reez12g-2/+2
2022-09-29Mark ignore on error code docs in compiler/rustc_borrowck/src/diagnostics/reg...reez12g-1/+1
2022-09-28Fix missing explanation of where borrowed reference is used when the borrow o...Yan Chen-134/+45
2022-09-26Auto merge of #102051 - pietroalbini:pa-bootstrap-update, r=Mark-Simulacrumbors-1/+0
2022-09-26Auto merge of #102184 - chenyukang:fix-102087-add-binding-sugg, r=nagisabors-0/+70
2022-09-26remove cfg(bootstrap)Pietro Albini-1/+0
2022-09-26fix #102087, Suggest Default::default() when binding isn't initializedyukang-0/+70
2022-09-25Auto merge of #95474 - oli-obk:tait_ub, r=jackh726bors-0/+5
2022-09-25Rollup merge of #101431 - compiler-errors:move-place-ty-for-move-place-sugg, ...fee1-dead-6/+6
2022-09-24separate definitions and `HIR` ownersTakayuki Maeda-6/+8
2022-09-23use correct location for type tests in promoted constsb-naber-0/+9
2022-09-22Auto merge of #100982 - fee1-dead-contrib:const-impl-requires-const-trait, r=...bors-0/+6