about summary refs log tree commit diff
path: root/src/librustc/infer
AgeCommit message (Expand)AuthorLines
2017-12-04extract the code to create `OutlivesBounds` into its own moduleNiko Matsakis-98/+110
2017-12-04make `no_late_bound_regions` a method on `Binder<T>`Niko Matsakis-3/+3
2017-12-04make `resolve_regions_and_report_errors` take an `OutlivesEnv`Niko Matsakis-36/+35
2017-12-04move `free_regions_map` into `infer::outlives`Niko Matsakis-3/+143
2017-12-04extract the `implied_bounds` code into a helper functionNiko Matsakis-172/+201
2017-12-02Auto merge of #46349 - estebank:highlight-ref, r=arielb1bors-0/+56
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-5/+5
2017-11-29Include lifetime on highlighted ref type mismatchEsteban Küber-28/+26
2017-11-28On type mismatch error highlight `&` when type matchesEsteban Küber-0/+58
2017-11-25commentsAriel Ben-Yehuda-12/+0
2017-11-25avoid type-live-for-region obligations on dummy nodesAriel Ben-Yehuda-0/+1
2017-11-23Auto merge of #46054 - nikomatsakis:nll-master-to-rust-master-1, r=arielb1bors-14/+14
2017-11-22Implement in-band lifetime bindingsTaylor Cramer-8/+11
2017-11-22Make RegionVid use newtype_index!Santiago Pastorino-14/+14
2017-11-21check that def_id is a local closure in InferCtxt::fn_sigNiko Matsakis-12/+21
2017-11-18give better error messages when a cycle arisesNiko Matsakis-20/+61
2017-11-18remove the `generator_sigs` map, query, and plumbingNiko Matsakis-119/+1
2017-11-18`TyClosure` no longer needs to use `freshen_closure_like`Niko Matsakis-13/+3
2017-11-18remove the `closure_tys` map from `TypeckTables`Niko Matsakis-3/+11
2017-11-18move the signature into the closure typeNiko Matsakis-3/+1
2017-11-18stop using the `closure_kinds` query / table for anythingNiko Matsakis-17/+8
2017-11-18make `mk_closure` take a `ClosureSubsts`Niko Matsakis-1/+1
2017-11-18thread the closure-kind through in the closure substsNiko Matsakis-16/+5
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-11 16:23:50 +0000