about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
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-4/+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-29Remove from compiler/ cratesreez12g-1/+0
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
2022-09-21UPDATE - rename SessionSubdiagnostic macro to SubdiagnosticJhonny Bill Mena-6/+6
2022-09-21UPDATE - rename DiagnosticHandler macro to DiagnosticJhonny Bill Mena-8/+8
2022-09-21UPDATE - rename DiagnosticHandler trait to IntoDiagnosticJhonny Bill Mena-8/+8
2022-09-21Neither require nor imply lifetime bounds on opaque type for well formednessOli Scherer-0/+5
2022-09-20Auto merge of #99806 - oli-obk:unconstrained_opaque_type, r=estebankbors-2/+38
2022-09-19remove the `Subst` trait, always use `EarlyBinder`lcnr-2/+2
2022-09-19Auto merge of #101924 - jackh726:revert-static-hrtb-error, r=compiler-errorsbors-41/+120
2022-09-17Use Predicate ConstraintCategory when normalizingJack Huey-14/+37
2022-09-17Rollup merge of #93628 - est31:stabilize_let_else, r=joshtriplettDylan DPC-1/+1
2022-09-17Auto merge of #98588 - b-naber:valtrees-cleanup, r=lcnrbors-8/+36
2022-09-16Final bitsJack Huey-5/+22
2022-09-16Add ExtraConstraintInfoJack Huey-17/+31