summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2017-11-17use a BTreeMap instead of an FxHasMap for the skol regionsNiko Matsakis-6/+8
2017-11-17issue better error message when LUB/GLB diverge under new behaviorNiko Matsakis-1/+14
2017-11-17make LUB/GLB of higher-ranked things actually do EQNiko Matsakis-2/+48
2017-11-16infer/outlives/obligations.rs: wrap some long linesNiko Matsakis-1/+3
2017-11-16obligations.rs: rustfmtNiko Matsakis-7/+11
2017-11-16Nit: reset more state after `take_and_reset_data`Niko Matsakis-4/+50
2017-11-16Nit: improve comment to explain why we wait until regionckNiko Matsakis-9/+13
2017-11-16Nit: rework region obligations to a snapshotted vectorNiko Matsakis-16/+29
2017-11-16Nit: fix wording in READMENiko Matsakis-9/+9
2017-11-16leak the affects of closures on the free-region-map, like we used toNiko Matsakis-0/+46
2017-11-16factor out `free_region_binding_scope` helperNiko Matsakis-7/+1
2017-11-16infer/outlives: add licenseNiko Matsakis-0/+10
2017-11-16update READMEs to describe the new situationNiko Matsakis-483/+482
2017-11-16formalize giving ownership of region vars to region inf. contextNiko Matsakis-17/+44
2017-11-16infer: give access to region variable originsNiko Matsakis-2/+21
2017-11-16MIR typeck: refactor to track region constraintsNiko Matsakis-0/+8
2017-11-16rustfmt `lexical_region_resolve`Niko Matsakis-32/+24
2017-11-16add method `take_and_reset_region_constraints` to `InferCtxt`Niko Matsakis-1/+26
2017-11-16split the `var_origins` from the `RegionConstraintData`Niko Matsakis-182/+206
2017-11-16region_constraints: only push givens into undo-log if in a snapshotNiko Matsakis-1/+3
2017-11-16make `RegionVid` implement `Idx` and use `IndexVec`Niko Matsakis-25/+31
2017-11-16separate the `Collector` from the `Data` it is collectingNiko Matsakis-119/+123
2017-11-16make the `region_constraints` field an `Option`Niko Matsakis-40/+54
2017-11-16rename RegionVarBindings to RegionConstraintCollectorNiko Matsakis-22/+22
2017-11-16infer: rename `region_vars` field to `region_constraints`Niko Matsakis-31/+38
2017-11-16rename `region_inference` module to `region_constraints`Niko Matsakis-13/+13
2017-11-16move refcells out from `RegionVarBindings` and up into `InferCtxt`Niko Matsakis-156/+151
2017-11-16extract the `tcx` out from `RegionVarBindings`Niko Matsakis-80/+88
2017-11-16region_inference: rustfmtNiko Matsakis-147/+188
2017-11-16extract storage of region values from `RegionVarBindings`Niko Matsakis-101/+84
2017-11-16move `RegionResolutionError` into `lexical_region_resolve`Niko Matsakis-34/+42
2017-11-16region_inference: extract taint into a sub-moduleNiko Matsakis-85/+100
2017-11-16region_inference: tighten up `pub`, stop re-exporting enum variantsNiko Matsakis-82/+75
2017-11-15move region resolution to be a sibling of `region_inference`Niko Matsakis-10/+9
2017-11-15extract lexical region resolution into its own sub-moduleNiko Matsakis-688/+743
2017-11-15move the `OutlivesEnvironment` into `infer` so that `nll` can use itNiko Matsakis-0/+322
2017-11-15rename mod `region_obligations` to `outlives::obligations`Niko Matsakis-1/+2
2017-11-15do not invoke `required_region_bounds` in `region_obligations`Niko Matsakis-6/+34
2017-11-15refactor how we extract outlives bounds from trait definitionsNiko Matsakis-142/+92
2017-11-15move the `region_obligations` processing code into `InferCtxt`Niko Matsakis-27/+627
2017-11-15extract `regionck_outlives` into a separate helper functionNiko Matsakis-0/+21
2017-11-15assert that we are consuming all of the region obligationsNiko Matsakis-3/+3
2017-11-15convert EXTRA_REQUIREMENT_IN_IMPL into a hard errorNiko Matsakis-14/+5
2017-11-15move region constraints into inference contextNiko Matsakis-1/+76
2017-11-12remove trailing whitespace from comment blockCengiz Can-4/+4
2017-11-12add reasons of using BTreeMap to a commentCengiz Can-0/+6
2017-11-12use BTreeMap for region constraintsCengiz Can-5/+7
2017-11-12Improve SubSupConflict case with one named, one anonymous lifetime parameter ...Cengiz Can-0/+2
2017-11-12Auto merge of #45870 - mikeyhew:arbitrary_self_types, r=arielb1bors-2/+6
2017-11-09add a comment explaining the bugfix to infer::region_inference::add_constraintMichael Hewson-0/+3
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-27 12:13:33 +0000