summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2018-03-31Auto merge of #49472 - nikomatsakis:nll-optimize-constraint-prop-1, r=pnkfelixbors-48/+136
2018-03-29apply pnkfelix nitsNiko Matsakis-6/+20
2018-03-29document reason for #[inline(never)] annotationNiko Matsakis-1/+1
2018-03-29amortize dfs storage creationNiko Matsakis-31/+65
2018-03-29remove dependency map and instead use a linked list of constraintsNiko Matsakis-17/+55
2018-03-29add `#[inline(never)]` annotationsNiko Matsakis-0/+2
2018-03-27Auto merge of #49202 - csmoe:trait_engine, r=nikomatsakisbors-2/+2
2018-03-23import trait engine to typeckcsmoe-2/+2
2018-03-22Debug logs for replace_bound_regions_with_nll_infer_varsNiko Matsakis-0/+6
2018-03-22UserAssertTy can handle inference variables.David Wood-8/+9
2018-03-22No longer visiting user_assert_ty statements in constraint generation.David Wood-2/+4
2018-03-22Added comment in renumberer about UserAssertTy.David Wood-0/+3
2018-03-22Added override in renumberer for UserAssertTy.David Wood-1/+6
2018-03-22Changed location to at_self from at_successor.David Wood-1/+1
2018-03-22Added initial processing of UserAssertTy statements.David Wood-1/+16
2018-03-22Added UserAssertTy statement.David Wood-3/+6
2018-03-14Auto merge of #47630 - canndrew:exhaustive-patterns, r=nikomatsakisbors-3/+3
2018-03-15Rollup merge of #48840 - varkor:idxset-cleanup, r=pnkfelixkennytm-5/+5
2018-03-14remove defaulting to unitAndrew Cann-3/+3
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-1/+1
2018-03-13introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]Niko Matsakis-67/+24
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-5/+13
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-0/+1
2018-03-13random reformattingNiko Matsakis-17/+16
2018-03-09Finally start down the right pathbobtwinkles-44/+22
2018-03-09Rename BorrowData::location to BorrowData::reserve_locationbobtwinkles-3/+3
2018-03-08Rollup merge of #48682 - spastorino:make_causal_lazy, r=nikomatsakisManish Goregaokar-139/+173
2018-03-08Simplify code around reading/writing ConstValsOliver Schneider-56/+6
2018-03-08Nuke ConstInt and Const*sizeOliver Schneider-1/+1
2018-03-08Hide the RefCell inside InterpretInternerOliver Schneider-2/+1
2018-03-08Fully use miri in transOliver Schneider-6/+7
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-6/+2
2018-03-08Produce instead of pointersOliver Schneider-5/+42
2018-03-07Rollup merge of #48651 - PramodBisht:issues/48425, r=oli-obkAlex Crichton-1/+1
2018-03-06Run rustfmt over modified filesSantiago Pastorino-100/+89
2018-03-06mir is already a referenceSantiago Pastorino-3/+3
2018-03-06Make causal tracking lazySantiago Pastorino-40/+95
2018-03-06Remove nll-dump-cause flag and always track causesSantiago Pastorino-12/+2
2018-03-06Remove IdxSet::elemsvarkor-5/+5
2018-03-05Turn features() into a query.Michael Woerister-8/+8
2018-03-04Auto merge of #48592 - spastorino:borrowed_value_error, r=nikomatsakisbors-183/+155
2018-03-04Fixed #48425Pramod Bisht-1/+1
2018-03-02Run Rustfix on librustc_mirManish Goregaokar-10/+10
2018-03-02Replace Rc with Lrc for shared dataJohn Kåre Alsaker-6/+5
2018-03-01rustfmt over error_reporting, explain_borrow and region_infer modsSantiago Pastorino-120/+109
2018-03-01Make explain borrow work for Universal lifetimesSantiago Pastorino-4/+16
2018-02-28Avoid printing overwhelming info on -Znll-dump-causeSantiago Pastorino-70/+2
2018-02-28Do not report _#nr lifetimes names in errorsSantiago Pastorino-6/+45
2018-02-24Rollup merge of #48061 - nikomatsakis:nll-do-not-run-mir-typeck-twice, r=eddybManish Goregaokar-0/+6
2018-02-23explain why we don't need to run type-checker when NLL is enabledNiko Matsakis-0/+2