summaryrefslogtreecommitdiffstats
path: root/src/librustc_mir/borrow_check/mod.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* review feedback: fix indentation of pattern candidates to match code elsewher...Felix S. Klock II2018-05-291-3/+3
* Fallout from allowing some mutation in guards.Felix S. Klock II2018-05-291-8/+10
* rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II2018-05-291-0/+9
* Use polonius_outputSantiago Pastorino2018-05-291-1/+3
* store output in FlowStateDouglas Campos2018-05-291-7/+2
* store polonius output in MirBorrowCtxDouglas Campos2018-05-291-2/+8
* it compiles, but we do not use the output yetDouglas Campos2018-05-291-1/+1
* Auto merge of #50998 - bobtwinkles:nll_facts_invalidate_followup, r=nikomatsakisbors2018-05-251-493/+19
|\
| * Remove unnecessary type annotationsbobtwinkles2018-05-231-1/+1
| * Refactor borrowck to share more code with fact dumpingbobtwinkles2018-05-181-493/+19
* | Micro-optimization on PR#50697Keith Yeung2018-05-211-0/+1
* | Auto merge of #50697 - KiChjang:issue-50461, r=pnkfelixbors2018-05-181-3/+6
|\ \
| * | Use EverInit instead of MaybeInit to determine initializationKeith Yeung2018-05-171-3/+6
| |/
* | Auto merge of #50593 - nikomatsakis:nll-no-location, r=nikomatsakisbors2018-05-171-3/+1
|\ \ | |/ |/|
| * rework causal tracking to explore outlives relationshipsNiko Matsakis2018-05-091-3/+1
* | Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker2018-05-081-9/+3
* | Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker2018-05-081-3/+10
|/
* add location tableNiko Matsakis2018-05-051-0/+4
* Auto merge of #50409 - KiChjang:issue-50343, r=nikomatsakisbors2018-05-041-3/+3
|\
| * Skip checking for unused mutable locals that have no nameKeith Yeung2018-05-021-3/+3
* | Unify MIR assert messages and const eval errorsOliver Schneider2018-04-301-13/+9
|/
* Add the actual used mutable var to the setKeith Yeung2018-04-281-65/+102
* Return RootPlace in is_mutableNiko Matsakis2018-04-281-7/+35
* Skip implicit self argument for closuresKeith Yeung2018-04-281-3/+10
* Return LocalMutationIsAllowed in is_mutableKeith Yeung2018-04-281-31/+32
* Determine unused mutable variables based on the 'root' placeKeith Yeung2018-04-281-86/+111
* Only check possibly initialized values and also loop over fn argsKeith Yeung2018-04-281-4/+19
* Track unused mutable variables across closuresKeith Yeung2018-04-281-29/+74
* Allow MIR borrowck to catch unused mutable localsKeith Yeung2018-04-281-7/+30
* Access individual fields of tuples, closures and generators on drop.Matthew Jasper2018-04-271-10/+30
* Auto merge of #49836 - nikomatsakis:nll-facts-prep, r=pnkfelixbors2018-04-171-114/+157
|\
| * s/`use_mir`/`use_mir_borrowck`/Niko Matsakis2018-04-151-1/+1
| * remove -Znll -- borrowck=mir implies nll nowNiko Matsakis2018-04-151-52/+20
| * don't expose the `borrows` fieldNiko Matsakis2018-04-151-7/+6
| * just use an iteratorNiko Matsakis2018-04-151-2/+1
| * stop using `borrows` for anything but iterating over live dataNiko Matsakis2018-04-151-27/+36
| * thread borrow-set around moreNiko Matsakis2018-04-151-5/+6
| * remove `ReserveOrActivateIndex`Niko Matsakis2018-04-151-14/+5
| * use the `activations_at_location` map to check activationsNiko Matsakis2018-04-151-30/+24
| * determine whether a borrow is active based solely on the locationNiko Matsakis2018-04-151-7/+76
| * add useful debugNiko Matsakis2018-04-151-0/+8
| * encapsulate ReserveOrActivateIndex into the borrows dataflowNiko Matsakis2018-04-151-13/+13
| * construct the `BorrowSet` outside of `borrows`Niko Matsakis2018-04-151-2/+4
| * extract code to build borrow-set into `borrow_check::borrow_set`Niko Matsakis2018-04-151-0/+1
| * relocate `BorrowData` etc into `borrow_check::borrow_set`Niko Matsakis2018-04-151-1/+3
* | fix error spancsmoe2018-04-141-4/+18
|/
* Auto merge of #48914 - gaurikholkar:e0389, r=nikomatsakisbors2018-04-101-22/+79
|\
| * tidy fixesgaurikholkar2018-04-091-3/+3
| * tidy fixesgaurikholkar2018-04-081-2/+2
| * fix tidy errorsgaurikholkar2018-04-071-6/+1