summaryrefslogtreecommitdiffstats
path: root/src/librustc_mir/borrow_check (follow)
Commit message (Expand)AuthorAgeFilesLines
* Auto merge of #51106 - davidtwco:issue-50934, r=nikomatsakisbors2018-05-301-1/+1
|\
| * tweak debug output some moreNiko Matsakis2018-05-291-1/+1
* | Review feedback: Fix typo.Felix S. Klock II2018-05-291-1/+1
* | review feedback: fix indentation of pattern candidates to match code elsewher...Felix S. Klock II2018-05-291-3/+3
* | Expand two-phase-borrows so that a case like this still compiles:Felix S. Klock II2018-05-292-13/+40
* | 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-293-1/+19
* | Run rustfmtSantiago Pastorino2018-05-292-71/+87
* | Use polonius_outputSantiago Pastorino2018-05-292-3/+10
* | store output in FlowStateDouglas Campos2018-05-292-7/+13
* | store polonius output in MirBorrowCtxDouglas Campos2018-05-291-2/+8
* | it compiles, but we do not use the output yetDouglas Campos2018-05-292-9/+23
|/
* Auto merge of #51072 - petrochenkov:ifield, r=eddybbors2018-05-261-2/+2
|\
| * Use `Ident`s for fields in HIRVadim Petrochenkov2018-05-261-2/+2
* | Rollup merge of #51047 - spastorino:use_polonius_engine_facts, r=nikomatsakiskennytm2018-05-262-25/+49
|\ \ | |/ |/|
| * Use AllFacts from polonius-engineSantiago Pastorino2018-05-242-25/+49
* | Auto merge of #50998 - bobtwinkles:nll_facts_invalidate_followup, r=nikomatsakisbors2018-05-253-969/+584
|\ \ | |/ |/|
| * Remove unnecessary type annotationsbobtwinkles2018-05-232-3/+3
| * Refactor borrowck to share more code with fact dumpingbobtwinkles2018-05-183-968/+583
* | Auto merge of #50798 - bobtwinkles:nll_facts_invalidate, r=nikomatsakisbors2018-05-233-0/+983
|\|
| * invalidates: properly handle terminatorsbobtwinkles2018-05-171-26/+41
| * Fix tidy errorsbobtwinkles2018-05-161-5/+10
| * Complete implementation of invalidates factsbobtwinkles2018-05-152-36/+60
| * Get closer to successful compilationbobtwinkles2018-05-141-155/+243
| * Framework and rough implementation for invalidates factsbobtwinkles2018-05-143-0/+851
* | Rollup merge of #50958 - KiChjang:nit-50697, r=pnkfelixkennytm2018-05-231-0/+1
|\ \
| * | Micro-optimization on PR#50697Keith Yeung2018-05-211-0/+1
* | | rustc: use intern_* instead of mk_* where possible.Eduard-Mihai Burtescu2018-05-211-1/+1
* | | rustc: make mk_substs_trait take &[Kind] instead of &[Ty].Eduard-Mihai Burtescu2018-05-211-1/+2
|/ /
* | 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-175-514/+130
|\ \ \
| * | | rustfmt to pacify the mercilous tidyNiko Matsakis2018-05-102-9/+20
| * | | ignore the point where the outlives requirement was addedNiko Matsakis2018-05-093-400/+69
| * | | rename `add` to `add_element`Niko Matsakis2018-05-092-4/+4
| * | | rework causal tracking to explore outlives relationshipsNiko Matsakis2018-05-094-97/+30
| * | | generalize `blame_span`Niko Matsakis2018-05-092-16/+19
* | | | Switch to 1.26 bootstrap compilerMark Simulacrum2018-05-171-2/+2
| |/ / |/| |
* | | Rollup merge of #50550 - llogiq:fmt-result, r=petrochenkovMark Simulacrum2018-05-121-1/+1
|\ \ \
| * | | use fmt::Result where applicableAndre Bogus2018-05-091-1/+1
| |/ /
* | / Introduce ConstValue and use it instead of miri's Value for constant valuesJohn Kåre Alsaker2018-05-111-1/+1
| |/ |/|
* | Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker2018-05-084-20/+10
* | Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker2018-05-087-36/+47
* | Store generator movability outside GeneratorInteriorJohn Kåre Alsaker2018-05-084-13/+16
|/
* add a comment about Locations::AllNiko Matsakis2018-05-051-0/+36
* remove `#[allow(dead_code)]`Niko Matsakis2018-05-051-1/+0
* add `-Znll-facts` switch that dumps facts for new analysisNiko Matsakis2018-05-055-54/+438
* add location tableNiko Matsakis2018-05-053-0/+132
* add `Locations::All` as a conceptNiko Matsakis2018-05-054-50/+74
* use `crate` visibility modifierNiko Matsakis2018-05-051-2/+2