summaryrefslogtreecommitdiffstats
path: root/src/librustc_mir/borrow_check/mod.rs (unfollow)
Commit message (Expand)AuthorFilesLines
2018-05-29review feedback: fix indentation of pattern candidates to match code elsewher...Felix S. Klock II1-3/+3
2018-05-29Fallout from allowing some mutation in guards.Felix S. Klock II1-8/+10
2018-05-29rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II1-0/+9
2018-05-29Use polonius_outputSantiago Pastorino1-1/+3
2018-05-29store output in FlowStateDouglas Campos1-7/+2
2018-05-29store polonius output in MirBorrowCtxDouglas Campos1-2/+8
2018-05-29it compiles, but we do not use the output yetDouglas Campos1-1/+1
2018-05-23Remove unnecessary type annotationsbobtwinkles1-1/+1
2018-05-21Micro-optimization on PR#50697Keith Yeung1-0/+1
2018-05-18Refactor borrowck to share more code with fact dumpingbobtwinkles1-493/+19
2018-05-17Use EverInit instead of MaybeInit to determine initializationKeith Yeung1-3/+6
2018-05-09rework causal tracking to explore outlives relationshipsNiko Matsakis1-3/+1
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker1-9/+3
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker1-3/+10
2018-05-05add location tableNiko Matsakis1-0/+4
2018-05-02Skip checking for unused mutable locals that have no nameKeith Yeung1-3/+3
2018-04-30Unify MIR assert messages and const eval errorsOliver Schneider1-13/+9
2018-04-28Add the actual used mutable var to the setKeith Yeung1-65/+102
2018-04-28Return RootPlace in is_mutableNiko Matsakis1-7/+35
2018-04-28Skip implicit self argument for closuresKeith Yeung1-3/+10
2018-04-28Return LocalMutationIsAllowed in is_mutableKeith Yeung1-31/+32
2018-04-28Determine unused mutable variables based on the 'root' placeKeith Yeung1-86/+111
2018-04-28Only check possibly initialized values and also loop over fn argsKeith Yeung1-4/+19
2018-04-28Track unused mutable variables across closuresKeith Yeung1-29/+74
2018-04-28Allow MIR borrowck to catch unused mutable localsKeith Yeung1-7/+30
2018-04-27Access individual fields of tuples, closures and generators on drop.Matthew Jasper1-10/+30
2018-04-15s/`use_mir`/`use_mir_borrowck`/Niko Matsakis1-1/+1
2018-04-15remove -Znll -- borrowck=mir implies nll nowNiko Matsakis1-52/+20
2018-04-15don't expose the `borrows` fieldNiko Matsakis1-7/+6
2018-04-15just use an iteratorNiko Matsakis1-2/+1
2018-04-15stop using `borrows` for anything but iterating over live dataNiko Matsakis1-27/+36
2018-04-15thread borrow-set around moreNiko Matsakis1-5/+6
2018-04-15remove `ReserveOrActivateIndex`Niko Matsakis1-14/+5
2018-04-15use the `activations_at_location` map to check activationsNiko Matsakis1-30/+24
2018-04-15determine whether a borrow is active based solely on the locationNiko Matsakis1-7/+76
2018-04-15add useful debugNiko Matsakis1-0/+8
2018-04-15encapsulate ReserveOrActivateIndex into the borrows dataflowNiko Matsakis1-13/+13
2018-04-15construct the `BorrowSet` outside of `borrows`Niko Matsakis1-2/+4
2018-04-15extract code to build borrow-set into `borrow_check::borrow_set`Niko Matsakis1-0/+1
2018-04-15relocate `BorrowData` etc into `borrow_check::borrow_set`Niko Matsakis1-1/+3
2018-04-14fix error spancsmoe1-4/+18
2018-04-09tidy fixesgaurikholkar1-3/+3
2018-04-08tidy fixesgaurikholkar1-2/+2
2018-04-07fix tidy errorsgaurikholkar1-6/+1
2018-04-07modify the error message- CR Commentsgaurikholkar1-13/+26
2018-04-06tidy fixgaurikholkar1-34/+1
2018-04-06reduce nested loops in the codegaurikholkar1-27/+59
2018-04-05tidy fixesgaurikholkar1-4/+6
2018-04-05address code review commentsgaurikholkar1-24/+28
2018-04-01Fixed nits from PR review #49392Peter Hrvola1-6/+10