about summary refs log tree commit diff
path: root/src/librustc/infer/freshen.rs
AgeCommit message (Expand)AuthorLines
2020-02-16Move librustc/{traits,infer} to librustc_infer.Camille GILLOT-266/+0
2020-02-10Reduce the number of `RefCell`s in `InferCtxt`.Nicholas Nethercote-5/+13
2020-02-06index ReEmpty by universeNiko Matsakis-1/+1
2020-01-04canonicalize FxHash{Map,Set} importsMazdak Farrokhzad-1/+2
2019-12-22Format the worldMark Rousskov-81/+72
2019-11-12Create intermediate enum ty::ConstKind.Camille GILLOT-10/+7
2019-10-21Rename `ConstValue::Infer(InferConst::Canonical(..))` to `ConstValue::Bound(..)`varkor-1/+1
2019-09-25Rename `sty` to `kind`varkor-1/+1
2019-06-19Change `ByRef` to a struct variant to clarify its fields via namesOliver Scherer-1/+1
2019-06-18rustc: remove 'x: 'y bounds (except from comments/strings).Eduard-Mihai Burtescu-1/+1
2019-06-14Run `rustfmt --file-lines ...` for changes from previous commits.Eduard-Mihai Burtescu-2/+1
2019-06-14Unify all uses of 'gcx and 'tcx.Eduard-Mihai Burtescu-7/+7
2019-06-12rustc: replace `TyCtxt<'tcx, 'gcx, 'tcx>` with `TyCtxt<'gcx, 'tcx>`.Eduard-Mihai Burtescu-1/+1
2019-06-12rustc: replace `TyCtxt<'a, 'gcx, 'tcx>` with `TyCtxt<'tcx, 'gcx, 'tcx>`.Eduard-Mihai Burtescu-1/+1
2019-05-25Make `ConstValue::Slice` solely take `[u8]` and `str`Oliver Scherer-1/+1
2019-05-01Fix rebase from LazyConst removalvarkor-37/+36
2019-05-01Replace ConstVariableTable with UnificationTablevarkor-1/+2
2019-05-01Add `ConstValue::Placeholder`varkor-1/+2
2019-05-01impl fold_const for TypeFreshenerGabriel Smith-22/+92
2019-05-01Rename mk_infer to mk_ty_inferGabriel Smith-1/+1
2019-05-01Add stubs for `fold_const`varkor-0/+4
2019-04-25Update existing usagesvarkor-1/+1
2019-02-05move librustc to 2018Mark Mansi-3/+3
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-3/+3
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-1/+0
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-2/+2
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-1/+1
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-1/+1
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-04rename skolemized to placeholderNiko Matsakis-1/+1
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+1
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-1/+1
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-6/+6
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-2/+2
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-23/+23
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-1/+5
2018-03-01have `probe()` return `TypeVariableValue`Niko Matsakis-1/+1
2018-03-01obtain `UnificationTable` and `snapshot_vec` from `ena` insteadNiko Matsakis-2/+2
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-0/+1
2017-12-15add a new RegionKind variant: ReClosureBoundNiko Matsakis-0/+7
2017-11-18remove the `generator_sigs` map, query, and plumbingNiko Matsakis-106/+1
2017-11-18`TyClosure` no longer needs to use `freshen_closure_like`Niko Matsakis-13/+3
2017-11-18make `mk_closure` take a `ClosureSubsts`Niko Matsakis-1/+1
2017-11-18thread the closure-kind through in the closure substsNiko Matsakis-15/+1
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-0/+1
2017-08-29Track closure signatures & kinds in freshened typesAriel Ben-Yehuda-4/+146
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+1
2017-07-05use field init shorthand in src/librustcZack M. Davis-1/+1
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-1/+1