summary refs log tree commit diff
path: root/src/librustc/infer/mod.rs
AgeCommit message (Expand)AuthorLines
2018-07-25introduce new subtypingNiko Matsakis-0/+14
2018-07-25simplify `NLLRegionVariableOrigin`Niko Matsakis-1/+14
2018-07-20Refactor a few push loops to iterators in librustcljedrz-24/+13
2018-06-27change the `enter_canonical_trait_query` method to give a fulfill cxNiko Matsakis-1/+14
2018-05-21rustc: move TypeParamDef's fields into GenericParamDefKind::Type.Eduard-Mihai Burtescu-1/+1
2018-05-17Rollup merge of #50740 - nnethercote:rm-LazyBTreeMap, r=cramertjkennytm-3/+3
2018-05-15One must always remember to clean up after themselvesvarkor-5/+6
2018-05-15Use Kind instead of UnpackedKind in Substs methodsvarkor-4/+4
2018-05-15Clean up shared subst codevarkor-36/+29
2018-05-15Refactor Substs methods on generic parametersvarkor-6/+11
2018-05-15Pull common parameters into GenericParamDefvarkor-2/+2
2018-05-15Rename TypeParameterDef -> TypeParamDef and RegionParameterDef -> RegionParamDefvarkor-2/+2
2018-05-14Remove LazyBTreeMap.Nicholas Nethercote-3/+3
2018-05-02track skol levels in the InferCtxt rather than via counterSean Griffin-2/+7
2018-05-02Wrap `InferCtxt::universe` in a cellSean Griffin-5/+9
2018-05-02give a universe to region variablesSean Griffin-1/+3
2018-05-02store RegionVariableInfo and not just RegionVariableOriginSean Griffin-9/+9
2018-05-02add universes to type inference variablesSean Griffin-2/+3
2018-05-02introduce `UniverseIndex` into `InferCtxt`Sean Griffin-0/+12
2018-04-26Implement LazyBTreeMap and use it in a few places.Nicholas Nethercote-3/+3
2018-04-15Make use of thread-safe arenasJohn Kåre Alsaker-3/+3
2018-04-13Use InternedString rather than Name for RegionParameterDefvarkor-1/+2
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-07-14 15:38:09 +0000