summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2019-01-13Rollup merge of #57102 - davidtwco:issue-57100, r=nikomatsakisMazdak Farrokhzad-10/+116
2019-01-05Rollup merge of #57249 - frewsxcv:frewsxcv-second-edition, r=KodrAuskennytm-2/+2
2019-01-05Auto merge of #57099 - davidtwco:issue-57098, r=nikomatsakisbors-39/+43
2019-01-04Improve diagnostic labels and add note.David Wood-9/+17
2019-01-04Make conflicting borrow description more robust.David Wood-31/+91
2019-01-04Auto merge of #56723 - oli-obk:lazy_const, r=nikomatsakisbors-8/+16
2019-01-03Auto merge of #55517 - nikomatsakis:universes, r=scalexmbors-14/+23
2019-01-03Auto merge of #56507 - nikomatsakis:polonius-integrate, r=MatthewJasperbors-4/+46
2019-01-02rename `type_moves_by_default` to `type_is_copy_modulo_regions`Niko Matsakis-7/+11
2019-01-02generalize region highlights into a structNiko Matsakis-7/+12
2019-01-02Wf-check the output type of a function in MIR-typeckMatthew Jasper-1/+1
2019-01-02generate invalidations from 2-phase-borrow activationsNiko Matsakis-4/+46
2019-01-01Add `unwrap_usize` to `LazyConst`, tooOliver Scherer-2/+2
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-10/+18
2019-01-01Fix broken links to second edition TRPL.Corey Farwell-2/+2
2018-12-30Stop well-formedness checking unreachable code.David Wood-53/+0
2018-12-30Fix unresolved inference variable ICE.David Wood-14/+44
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