summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2018-06-20Auto merge of #51638 - spastorino:diagnostic-suggest-drop-in-reverse, r=nikom...bors-104/+125
2018-06-20Auto merge of #51617 - nnethercote:nll-allocs, r=pnkfelixbors-2/+3
2018-06-19Run rustfmtSantiago Pastorino-101/+94
2018-06-19Suggest that values are dropped in the opposite order they are definedSantiago Pastorino-13/+41
2018-06-19Added diagnostics for suggesting `mut x` on repeated mutations of `x`.Felix S. Klock II-46/+24
2018-06-19NLL: Broad rewrite of check_access_perimssions.Felix S. Klock II-100/+205
2018-06-19small refactoring: replaced mutable state with `return` statements in control...Felix S. Klock II-15/+22
2018-06-19Thread info about form of variable bindings, including spans of arg types, do...Felix S. Klock II-1/+1
2018-06-19Return a `SmallVec` from `place_elements`.Nicholas Nethercote-2/+3
2018-06-18Auto merge of #51460 - nikomatsakis:nll-perf-examination-refactor-1, r=pnkfelixbors-472/+660
2018-06-14rustc: rename ty::maps to ty::query.Eduard-Mihai Burtescu-1/+1
2018-06-09remove some `#[inline(never)]`Niko Matsakis-10/+0
2018-06-09use `DUMMY_NODE_ID` as the `body_id` during NLL type-checkingNiko Matsakis-32/+36
2018-06-09convert type-check constraints into NLL constraints on the flyNiko Matsakis-266/+334
2018-06-09rename `Constraint` to `OutlivesConstraint`Niko Matsakis-12/+13
2018-06-09key drop-data computation by ty, not varNiko Matsakis-2/+2
2018-06-09cache the `dropck_outlives` computation per variableNiko Matsakis-51/+57
2018-06-09extract out `fully_perform_op_and_get_region_constraints`Niko Matsakis-20/+57
2018-06-09put the `RegionConstraintData` into an `Rc`Niko Matsakis-2/+4
2018-06-09librustc_mir/borrow_check/nll/type_check/mod.rs: rustfmtNiko Matsakis-8/+12
2018-06-09micro-optimize empty predicate and normalize listsNiko Matsakis-10/+21
2018-06-09skip `eq_types` and `sub_types` when the two types are equalNiko Matsakis-0/+10
2018-06-09add some instrumentationNiko Matsakis-134/+189
2018-06-08Auto merge of #51247 - pnkfelix:issue-51190-report-type-moved-from-behind-bor...bors-3/+10
2018-06-06When NLL has illegal move due to borrowed content, provide feedback about why...Felix S. Klock II-3/+10
2018-06-06NLL performance boostGergely Nagy-7/+9
2018-06-02Change the log level of the message reporting the selected Polonius algorithm...Vytautas Astrauskas-1/+1
2018-06-02Allow choosing Polonius algorithm via environment variable POLONIUS_ALGORITHM.Vytautas Astrauskas-1/+7
2018-05-30rustc: rename mir::LocalDecl's syntactic_source_info to source_info.Eduard-Mihai Burtescu-5/+5
2018-05-30rustc: turn mir::LocalDecl's visibility_source_info into a SourceScope.Eduard-Mihai Burtescu-6/+6
2018-05-30rustc: rename mir::LocalDecl's source_info to visibility_source_info.Eduard-Mihai Burtescu-4/+4
2018-05-30rustc: turn mir::LocalDecl's syntactic_scope into a SourceInfo.Eduard-Mihai Burtescu-1/+1
2018-05-30rustc: rename mir::SourceScopeInfo to mir::SourceScopeLocalData.Eduard-Mihai Burtescu-1/+1
2018-05-30rustc: rename mir::VisibilityScope to mir::SourceScope.Eduard-Mihai Burtescu-1/+1
2018-05-30Auto merge of #51106 - davidtwco:issue-50934, r=nikomatsakisbors-1/+1
2018-05-29Review feedback: Fix typo.Felix S. Klock II-1/+1
2018-05-29review feedback: fix indentation of pattern candidates to match code elsewher...Felix S. Klock II-3/+3
2018-05-29Expand two-phase-borrows so that a case like this still compiles:Felix S. Klock II-13/+40
2018-05-29Fallout from allowing some mutation in guards.Felix S. Klock II-8/+10
2018-05-29rust-lang/rust#27282: Add `StatementKind::ReadForMatch` to MIR.Felix S. Klock II-1/+19
2018-05-29tweak debug output some moreNiko Matsakis-1/+1
2018-05-29Run rustfmtSantiago Pastorino-71/+87
2018-05-29Use polonius_outputSantiago Pastorino-3/+10
2018-05-29store output in FlowStateDouglas Campos-7/+13
2018-05-29store polonius output in MirBorrowCtxDouglas Campos-2/+8
2018-05-29it compiles, but we do not use the output yetDouglas Campos-9/+23
2018-05-26Auto merge of #51072 - petrochenkov:ifield, r=eddybbors-2/+2
2018-05-26Use `Ident`s for fields in HIRVadim Petrochenkov-2/+2
2018-05-26Rollup merge of #51047 - spastorino:use_polonius_engine_facts, r=nikomatsakiskennytm-25/+49
2018-05-25Auto merge of #50998 - bobtwinkles:nll_facts_invalidate_followup, r=nikomatsakisbors-969/+584