summary refs log tree commit diff
path: root/src/librustc_mir/transform/nll
AgeCommit message (Expand)AuthorLines
2017-11-16Nit: fix typoNiko Matsakis-1/+1
2017-11-16integrate NLL with MIR type-checkerNiko Matsakis-160/+154
2017-11-16region_infer: improved debug loggingNiko Matsakis-9/+35
2017-11-16renumber: debug logs, use `visit_region` rather than `visit_rvalue`Niko Matsakis-22/+29
2017-11-16renumber: handle ReturnTy betterNiko Matsakis-1/+9
2017-11-16formalize giving ownership of region vars to region inf. contextNiko Matsakis-68/+55
2017-11-16infer: extract total number of region variables from infcxNiko Matsakis-13/+6
2017-11-16replace `RegionIndex` with `RegionVid` (which now impls Idx)Niko Matsakis-52/+42
2017-11-16replace `usize` with `RegionIndex` in indices mapNiko Matsakis-17/+19
2017-11-14rustc: split off BodyOwnerKind from MirSource.Eduard-Mihai Burtescu-19/+16
2017-11-02trace span info for constraints and report errorsNiko Matsakis-26/+104
2017-11-02encapsulate the `Region` struct within region inferenceNiko Matsakis-39/+47
2017-11-02add comments to `region_infer`, restructure a bitNiko Matsakis-35/+56
2017-11-02extend NLL regions to include free region indices and add outlivesNiko Matsakis-110/+289
2017-11-02rename `Lookup` to `TyContext` and pass more info when visiting tysNiko Matsakis-17/+16
2017-10-31remove the NLL pass (it is now invoked by mir borrowck)Niko Matsakis-23/+2
2017-10-31change region display to `'_#Nr`, update the `newtype_index!` macroNiko Matsakis-1/+1
2017-10-31make nll separately invokableNiko Matsakis-29/+13
2017-10-31add basic region subtyping inferenceSantiago Pastorino-0/+112
2017-10-31add reborrow constraintsSantiago Pastorino-0/+35
2017-10-31factor out NLL invocation interfaceNiko Matsakis-76/+123
2017-10-31update the format of liveness debug dumps to be more readableNiko Matsakis-24/+61
2017-10-31add subregion between borrow region and resulting referenceNiko Matsakis-8/+55
2017-10-31preliminary support for may-dangle attribute and drop constraintsNiko Matsakis-13/+113
2017-10-31extend liveness to distinguish "drop" and "non-drop" usesNiko Matsakis-31/+69
2017-10-31introduce liveness constraints into NLL codeNiko Matsakis-209/+329
2017-10-31extend liveness to compute intrablock liveness and add unit testsNiko Matsakis-10/+34
2017-10-31execute liveness, write a simple testNiko Matsakis-3/+25
2017-10-13Add License to infer.rsSantiago Pastorino-0/+10
2017-10-13TODO -> FIXMESantiago Pastorino-4/+4
2017-10-13Add allow_dead code directive to unused methodsSantiago Pastorino-0/+5
2017-10-13Do not move infcx, just borrow itSantiago Pastorino-7/+8
2017-10-13borrow block_data instead of moving itSantiago Pastorino-1/+1
2017-10-13sup_def is a mutable referenceSantiago Pastorino-1/+1
2017-10-13inteference_context should be mutSantiago Pastorino-1/+1
2017-10-13Mark Region as publicSantiago Pastorino-1/+1
2017-10-13Mark free regions handling as TODOSantiago Pastorino-9/+10
2017-10-13Initial attempt at implementation of inference layout for nllPaul Faria-5/+224
2017-10-04Expand mir dump in order to handle NLL passChristopher Vittal-2/+22
2017-10-04Make newtype_index get debug_name using reflectionSantiago Pastorino-1/+1
2017-10-04Make newtype_index macro use full path to resolve constantsSantiago Pastorino-2/+0
2017-10-04Generate Idx in nll using newtype_index!Santiago Pastorino-15/+3
2017-10-04Convert regions to IndexVecSantiago Pastorino-2/+19
2017-10-04Store a new Region value every time we create a new region variablePaul Faria-2/+11
2017-09-25Move src/librustc_mir/transform/nll.rs to a subdirectorySimon Sapin-0/+146
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-10 02:35:19 +0000