summary refs log tree commit diff
path: root/src/librustc/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2018-03-23Revert "add universes to type inference variables"Sean Griffin-15/+8
2018-03-23Revert "fix tidy error"Sean Griffin-4/+1
2018-03-13move `drain_fulfillment_cx_or_panic` to be private to traits::transNiko Matsakis-40/+0
2018-03-13transition various normalization functions to the new methodsNiko Matsakis-135/+1
2018-03-13introduce `infcx.at(..).normalize(..)` operation [VIC]Niko Matsakis-0/+11
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-1/+7
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-3/+3
2018-03-13comment the purpose of `TransNormalize`Niko Matsakis-0/+4
2018-03-13make regions "traceable" so you can do `infcx.at(..).eq(r1, r2)`Niko Matsakis-22/+8
2018-03-13fix typo in commentNiko Matsakis-1/+1
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-13/+0
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-17/+0
2018-03-01fix tidy errorNiko Matsakis-1/+4
2018-03-01add universes to type inference variablesNiko Matsakis-8/+15
2018-03-01have `probe()` return `TypeVariableValue`Niko Matsakis-3/+4
2018-03-01store type values in the unification table directlyNiko Matsakis-7/+7
2018-03-01obtain `UnificationTable` and `snapshot_vec` from `ena` insteadNiko Matsakis-30/+35
2018-03-01kill supporting code from type-variable defaultsNiko Matsakis-41/+2
2018-03-01kill custom type inference defaults (these don't really work anyway)Niko Matsakis-18/+5
2018-02-18More formatting fixesAaron Hill-1/+1
2018-02-18Generate documentation for auto-trait implsAaron Hill-2/+11
2017-12-20when using feature(nll), don't warn about AST-based region errorsNiko Matsakis-5/+40
2017-12-20extract `instantiate_anon_types` to the `InferCtxt`Niko Matsakis-0/+1
2017-12-13Check Repeat RvalueSantiago Pastorino-0/+4
2017-12-07replace `InferCtxt::fn_sig` with `closure_sig`Niko Matsakis-32/+12
2017-12-07mir-borrowck returns closure requirements, mir-typeck enforcesNiko Matsakis-0/+5
2017-12-04make `resolve_regions_and_report_errors` take an `OutlivesEnv`Niko Matsakis-5/+3
2017-12-04move `free_regions_map` into `infer::outlives`Niko Matsakis-2/+3
2017-12-01MIR: s/Lvalue/Place in type names.Eduard-Mihai Burtescu-5/+5
2017-11-21check that def_id is a local closure in InferCtxt::fn_sigNiko Matsakis-12/+21
2017-11-18remove the `generator_sigs` map, query, and plumbingNiko Matsakis-13/+0
2017-11-18remove the `closure_tys` map from `TypeckTables`Niko Matsakis-3/+11
2017-11-18stop using the `closure_kinds` query / table for anythingNiko Matsakis-17/+8
2017-11-17use a BTreeMap instead of an FxHasMap for the skol regionsNiko Matsakis-2/+3
2017-11-16Nit: rework region obligations to a snapshotted vectorNiko Matsakis-3/+10
2017-11-16formalize giving ownership of region vars to region inf. contextNiko Matsakis-17/+43
2017-11-16infer: give access to region variable originsNiko Matsakis-1/+16
2017-11-16add method `take_and_reset_region_constraints` to `InferCtxt`Niko Matsakis-1/+15
2017-11-16split the `var_origins` from the `RegionConstraintData`Niko Matsakis-9/+10
2017-11-16separate the `Collector` from the `Data` it is collectingNiko Matsakis-4/+5
2017-11-16make the `region_constraints` field an `Option`Niko Matsakis-20/+34
2017-11-16rename RegionVarBindings to RegionConstraintCollectorNiko Matsakis-3/+3
2017-11-16infer: rename `region_vars` field to `region_constraints`Niko Matsakis-15/+15
2017-11-16rename `region_inference` module to `region_constraints`Niko Matsakis-5/+5
2017-11-16move refcells out from `RegionVarBindings` and up into `InferCtxt`Niko Matsakis-8/+11
2017-11-16extract the `tcx` out from `RegionVarBindings`Niko Matsakis-6/+2
2017-11-16extract storage of region values from `RegionVarBindings`Niko Matsakis-1/+9
2017-11-15move region resolution to be a sibling of `region_inference`Niko Matsakis-0/+1
2017-11-15move the `OutlivesEnvironment` into `infer` so that `nll` can use itNiko Matsakis-0/+2
2017-11-15rename mod `region_obligations` to `outlives::obligations`Niko Matsakis-1/+1
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 17:50:40 +0000