summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2017-12-26Auto merge of #46975 - matthewjasper:mir-moveck-asm, r=arielb1bors-1/+1
2017-12-25Auto merge of #46949 - davidtwco:issue-46631, r=arielb1bors-1/+45
2017-12-24Auto merge of #46833 - diwic:7c-abort-ffi, r=arielb1bors-0/+5
2017-12-23Give MIR borrowck a better understanding of inline asmMatthew Jasper-1/+1
2017-12-22Added 'move occurs because `X` is not `Copy`' note.David Wood-1/+45
2017-12-21Issue #46589 - Kill borrows on a local variable whenever we assign over this ...David Teller-6/+1
2017-12-21Mir: Add Terminatorkind::AbortDavid Henningsson-0/+5
2017-12-20fix truncated commentNiko Matsakis-1/+4
2017-12-20document and tweak the nll, use_mir, etc helpersNiko Matsakis-4/+1
2017-12-20feature nll implies borrowck=mirSantiago Pastorino-1/+1
2017-12-20feature nll implies two-phase-borrowsSantiago Pastorino-3/+3
2017-12-20Add nll feature and make nll imply nll_dump_causeSantiago Pastorino-3/+3
2017-12-20Add nll_dump_cause helper to SessionSantiago Pastorino-2/+2
2017-12-20use `report_generic_bound_failure` when we can in the compilerNiko Matsakis-27/+87
2017-12-20connect NLL machinery to the `NiceRegionError` codeNiko Matsakis-12/+60
2017-12-20only dump causes if we have nothing betterNiko Matsakis-3/+3
2017-12-20Add three point error handling to borrowckSantiago Pastorino-14/+229
2017-12-20connect NLL type checker to the impl trait codeNiko Matsakis-23/+152
2017-12-20extract `input_output` code into its own moduleNiko Matsakis-51/+101
2017-12-20pass `UniversalRegions` to MIR type-checker instead of fieldsNiko Matsakis-22/+26
2017-12-20propagate `region_bound_pairs` into MIR type-checkNiko Matsakis-33/+48
2017-12-20get the `DefiningTy` from the `body_owner_kind` not typeNiko Matsakis-73/+91
2017-12-20integrate -Znll-dump-cause into borrowckNiko Matsakis-35/+143
2017-12-20use Rc to store nonlexical_regioncx in BorrowsNiko Matsakis-1/+3
2017-12-20dump out causal information for "free region" errorsNiko Matsakis-9/+109
2017-12-20rustfmt: borrow_check/mod.rsNiko Matsakis-178/+229
2017-12-20Add tracking of causes for nllPaul Daniel Faria-39/+185
2017-12-20region_infer/values.rs: rustfmtNiko Matsakis-20/+29
2017-12-20Auto merge of #46733 - nikomatsakis:nll-master-to-rust-master-5, r=arielb1bors-541/+2921
2017-12-19be specific about what kind of normalization we meanNiko Matsakis-2/+4
2017-12-19remove dead `is_foo_free_region` helpersNiko Matsakis-17/+0
2017-12-19fix comment on `check_type_tests`Niko Matsakis-12/+3
2017-12-19tweak comment on `TypeTest` to be more accurateNiko Matsakis-4/+6
2017-12-16Auto merge of #46719 - estebank:issue-39268, r=pnkfelixbors-7/+7
2017-12-15stop dumping DefPath into "failed type test" errorsNiko Matsakis-1/+5
2017-12-15Same change to point at borrow for mir errorsEsteban Küber-7/+7
2017-12-15more concise debug output when dumping the value of a regionNiko Matsakis-7/+56
2017-12-15make `blame_span` deterministicNiko Matsakis-21/+39
2017-12-15impose inputs/ouputs on MIR after the factNiko Matsakis-67/+60
2017-12-15handle projections with regionsNiko Matsakis-95/+201
2017-12-15add a new RegionKind variant: ReClosureBoundNiko Matsakis-0/+1
2017-12-15propagate type tests from closure to closure creatorsNiko Matsakis-31/+170
2017-12-15permit `ClosureOutlivesRequirement` to constrain regions or typesNiko Matsakis-26/+52
2017-12-15thread through an implicit region body of the fn bodyNiko Matsakis-10/+39
2017-12-15mild refactors of the control flow (no functional changes)Niko Matsakis-28/+44
2017-12-15move some parts of liveness to happen during type checkingNiko Matsakis-199/+272
2017-12-15move `flow_in_progress` into `dataflow` and document itNiko Matsakis-4/+4
2017-12-15move `LivenessResults` from `nll` into `liveness` analysisNiko Matsakis-23/+2
2017-12-15move `type_check` out of `transform` and into the `nll` moduleNiko Matsakis-7/+1524
2017-12-15dfs.rs: rustfmtNiko Matsakis-15/+12
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-12 22:15:27 +0000