summary refs log tree commit diff
path: root/src/test/compile-fail/borrowck
AgeCommit message (Expand)AuthorLines
2018-03-20Stabilize slice patterns without `..`Vadim Petrochenkov-5/+2
2018-03-16Rollup merge of #48875 - jcowgill:mips-test-fixes, r=sanxiynkennytm-1/+3
2018-03-09Complete re-implementation of 2-phase borrowsbobtwinkles-1/+0
2018-03-09Finally start down the right pathbobtwinkles-16/+19
2018-03-08borrowck-asm: enable on mipsJames Cowgill-1/+3
2018-02-24Rollup merge of #48197 - bobtwinkles:two_phase_borrow_on_ops, r=nikomatsakisManish Goregaokar-53/+0
2018-02-23update tests and reference filesNiko Matsakis-8/+4
2018-02-17Auto merge of #47926 - mikhail-m1:subslice_pattern_array_drop2, r=nikomatsakisbors-0/+30
2018-02-13Allow two-phase borrows of &mut self in opsbobtwinkles-53/+0
2018-02-11Auto merge of #48092 - eddyb:discriminate-the-void, r=nikomatsakisbors-16/+16
2018-02-09rustc_mir: insert a dummy access to places being matched on, when building MIR.Eduard-Mihai Burtescu-16/+16
2018-02-08add transform for uniform array move outMikhail Modin-0/+30
2018-02-08Fleshed out the test a lot more.Felix S. Klock II-9/+230
2018-02-08Test that autoref'ing beyond method receivers does not leak into two-phase bo...Felix S. Klock II-0/+39
2018-02-08Restrict two-phase borrows to solely borrows introduced via autoref.Felix S. Klock II-18/+67
2018-01-03Auto merge of #46984 - arielb1:pre-statement-effect, r=nikomatsakisbors-1/+0
2017-12-24Make killing of out-of-scope borrows a pre-statement effectAriel Ben-Yehuda-1/+0
2017-12-23Give MIR borrowck a better understanding of inline asmMatthew Jasper-0/+97
2017-12-15Auto merge of #46537 - pnkfelix:two-phase-borrows, r=arielb1bors-0/+246
2017-12-14Move compile-fail tests with NOTE/HELP annotations to UIVadim Petrochenkov-500/+0
2017-12-13Check activation points as the place where mutable borrows become relevant.Felix S. Klock II-11/+72
2017-12-13two-phase-reservation-sharing-interference.rs variant that is perhaps more su...Felix S. Klock II-0/+38
2017-12-13test describing a currently unsupported corner case.Felix S. Klock II-0/+46
2017-12-13tests transcribed from nikos blog post.Felix S. Klock II-0/+101
2017-12-11Updated existing tests with new error messages.David Wood-4/+6
2017-12-06fix borrows across loops, libcore *almost* compilesAriel Ben-Yehuda-8/+2
2017-12-06handle gen/kill sets togetherAriel Ben-Yehuda-1/+5
2017-12-06improve conflict error reportingAriel Ben-Yehuda-2/+2
2017-12-06MIR borrowck: implement union-and-array-compatible semanticsAriel Ben-Yehuda-7/+10
2017-12-03add and unignore testsAriel Ben-Yehuda-0/+23
2017-11-28mir-borrowck: Update testsBasile Desloges-11/+23
2017-11-27Add initialization info to `MoveData`Matthew Jasper-0/+7
2017-11-26Update tests for -Zborrowck-mir -> -Zborrowck=mode migrationest31-250/+145
2017-11-24Kill the storage for all locals on returning terminatorsKeith Yeung-0/+44
2017-11-23Fix borrowck compiler errors for upvars contain "spurious" dereferencesRamana Venkata-2/+13
2017-11-19mir-borrowck: Remove parens in the lvalue description of a derefBasile Desloges-7/+7
2017-11-17Do not registor borrows for unsafe lvaluesKeith Yeung-34/+0
2017-11-15Auto merge of #45938 - vramana:fix-ice-45698, r=arielb1bors-0/+24
2017-11-15add `StorageDead` handlingMikhail Modin-0/+30
2017-11-15Auto merge of #45922 - vramana:fix-45702, r=nikomatsakisbors-6/+18
2017-11-15Fix printing of upvar in closuresRamana Venkata-0/+24
2017-11-13mir-borrowck: Test for `check_access_permissions()`Basile Desloges-0/+76
2017-11-12Improve SubSupConflict case with one named, one anonymous lifetime parameter ...Cengiz Can-1/+1
2017-11-11Fix MIR borrowck EndRegion not foundRamana Venkata-6/+18
2017-11-08restore move out dataflow, add report of move out errorsMikhail Modin-3/+3
2017-11-02add TerminatorKind::FalseEdges and use it in matchesMikhail Modin-0/+42
2017-10-26Auto merge of #45519 - michaelwoerister:dedup-errors, r=arielb1bors-2/+0
2017-10-25Reword to avoid using either re-assignment or reassignment in errorsCarol (Nichols || Goulding)-5/+5
2017-10-25Update compile-fail tests for error message deduplication.Michael Woerister-2/+0
2017-10-18run EndRegion when unwinding otherwise-empty scopesAriel Ben-Yehuda-1/+6