about summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2018-12-30Support user type annotations in `ref` bindings.David Wood-1/+13
2018-12-30Add user type annotations to MIR dump.David Wood-1/+2
2018-12-30Always check well-formedness.David Wood-0/+24
2018-12-30Refactor `UserTypeAnnotation`.David Wood-30/+72
2018-12-27retrieve ty info from place_tycsmoe-47/+29
2018-12-26Add closure cannot be moved note.David Wood-39/+43
2018-12-26Add union justifications to conflicting borrows.David Wood-10/+48
2018-12-25Remove licensesMark Rousskov-380/+0
2018-12-22Update migrate warning wording.David Wood-4/+8
2018-12-20Auto merge of #54125 - varkor:less-conservative-uninhabitedness-check, r=niko...bors-2/+1
2018-12-20Auto merge of #56741 - RalfJung:retag-to-raw, r=oli-obkbors-3/+0
2018-12-20Auto merge of #56649 - davidtwco:issue-46589, r=pnkfelixbors-22/+75
2018-12-18treat ref-to-raw cast like a reborrow: do a special kind of retagRalf Jung-3/+0
2018-12-17Add required lifetime parameter to BitDenotation.David Wood-11/+11
2018-12-17Kill borrows from a projection after assignment.David Wood-11/+64
2018-12-16Rollup merge of #56790 - rust-lang:borrowck-niche-discriminants, r=nikomatsakisMazdak Farrokhzad-17/+13
2018-12-13Make determining the discriminant a normal Shallow readMatthew Jasper-17/+13
2018-12-12Bump to 1.33.0Alex Crichton-2/+2
2018-12-11Consider privacy in more locationsvarkor-1/+1
2018-12-11Make uninhabitedness checking more intelligentvarkor-1/+1
2018-12-11Check for uninhabitedness instead of nevervarkor-2/+1
2018-12-07Various minor/cosmetic improvements to codeAlexander Regueiro-25/+26
2018-12-07Auto merge of #56502 - Zoxc:hir-func, r=eddybbors-41/+43
2018-12-07Fix ICE in region naming.David Wood-16/+17
2018-12-07Introduce constraint category for yields.David Wood-6/+6
2018-12-07Rollup merge of #56516 - frewsxcv:frewsxcv-eq, r=Mark-Simulacrumkennytm-1/+1
2018-12-06Use a function to access the Hir map to be able to turn it into a query laterJohn Kåre Alsaker-41/+43
2018-12-06Rollup merge of #56426 - petrochenkov:syntweak, r=nikomatsakisPietro Albini-1/+1
2018-12-05Rollup merge of #56388 - matthewjasper:more-lexical-mir-cleanup, r=nikomatsakisPietro Albini-64/+56
2018-12-05Rollup merge of #56372 - wildarch:issue-55314-second-borrow-ref, r=davidtwcoPietro Albini-1/+16
2018-12-05Rollup merge of #56119 - frewsxcv:frewsxcv-option-carrier, r=TimNNPietro Albini-4/+1
2018-12-04Replace usages of `..i + 1` ranges with `..=i`.Corey Farwell-1/+1
2018-12-04Utilize `?` instead of `return None`.Corey Farwell-4/+1
2018-12-03Propagate all closure requirements to the callerMatthew Jasper-1/+1
2018-12-04syntax: Rename some keywordsVadim Petrochenkov-1/+1
2018-11-30Use visit_local to find 2PB activationsMatthew Jasper-55/+55
2018-11-30Remove the `region_map` field from `BorrowSet`Matthew Jasper-9/+1
2018-12-01Rollup merge of #56214 - scalexm:unification, r=nikomatsakiskennytm-2/+15
2018-11-30Refer to the second borrow as the "second borrow".Daan de Graaf-1/+16
2018-11-29Fix doc commentsscalexm-1/+1
2018-11-29Handle inference variables in `nll_relate` and use it for chalkscalexm-2/+15
2018-11-25Auto merge of #55921 - scalexm:placeholders, r=nikomatsakisbors-14/+17
2018-11-24Distinguish between placeholder kindsscalexm-14/+17
2018-11-18Only handle ReVar regions in NLL borrowckMatthew Jasper-23/+14
2018-11-18Remove mir::StatementKind::EndRegionMatthew Jasper-20/+1
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-2/+2
2018-11-15Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obkbors-2/+5
2018-11-13Auto merge of #55912 - kennytm:rollup, r=kennytmbors-2/+2
2018-11-13fix various typos in doc commentsAndy Russell-2/+2
2018-11-13Instantiate all bound vars existentiallyscalexm-2/+2