about summary refs log tree commit diff
path: root/src/librustc/infer/fudge.rs
AgeCommit message (Expand)AuthorLines
2019-03-27Use Vec instead of FxHashMapvarkor-7/+10
2019-03-27Lookup region variable origin instead of choosing onevarkor-9/+6
2019-03-27Store type variable origins in InferenceFudgervarkor-3/+4
2019-03-27Use `eq_relations`varkor-5/+5
2019-03-27Add `next_int_var` and `next_float_var`varkor-2/+2
2019-03-27Simplify `fudge_inference_if_ok`varkor-19/+19
2019-03-27Add int variables and float variables to `InferenceFudger`varkor-8/+35
2019-03-27Rename `RegionFudger` to `InferenceFudger`varkor-7/+7
2019-03-27Use Ranges for vars_since_snapshotvarkor-31/+28
2019-03-27Make `vars_since_snapshot` naming consistentvarkor-6/+6
2019-02-10rustc: doc commentsAlexander Regueiro-2/+2
2019-02-05move librustc to 2018Mark Mansi-3/+3
2018-12-25Remove licensesMark Rousskov-10/+0
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-1/+1
2018-03-23Revert "add universes to type inference variables"Sean Griffin-5/+1
2018-03-01add universes to type inference variablesNiko Matsakis-1/+5
2018-03-01have `probe()` return `TypeVariableValue`Niko Matsakis-1/+3
2017-11-16make the `region_constraints` field an `Option`Niko Matsakis-1/+1
2017-11-16infer: rename `region_vars` field to `region_constraints`Niko Matsakis-2/+2
2017-11-16move refcells out from `RegionVarBindings` and up into `InferCtxt`Niko Matsakis-1/+1
2017-07-05use field init shorthand in src/librustcZack M. Davis-1/+1
2017-04-30intern CodeExtentsNiko Matsakis-1/+1
2017-04-12do not consult union-find during `fudge_regions_if_ok`Niko Matsakis-12/+4
2017-04-11generalize type variables tooNiko Matsakis-22/+53
2016-11-08introduce a `fudge_regions_if_ok` to address false region edgesNiko Matsakis-0/+137