about summary refs log tree commit diff
path: root/src/librustc/ty/flags.rs
AgeCommit message (Collapse)AuthorLines
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-255/+0
2020-03-01Clean up TypeFlagsMatthew Jasper-16/+7
* Reorder flags to group similar ones together * Make some flags more granular * Compute `HAS_FREE_LOCAL_NAMES` from the other flags * Remove `HAS_TY_CLOSURE` * Add some more doc comments
2020-02-14Add fast path to eq_opaque_type_and_typeMatthew Jasper-1/+1
2020-01-10Promote `Ref`s to constants instead of staticSantiago Pastorino-1/+1
2019-12-22Format the worldMark Rousskov-29/+17
2019-11-12Create intermediate enum ty::ConstKind.Camille GILLOT-9/+6
2019-10-28Rollup merge of #65643 - varkor:remove-free-regions-from-const-placeholder, ↵Mazdak Farrokhzad-7/+9
r=eddyb Correct handling of type flags with `ConstValue::Placeholder` This fixes a mistake, but not https://github.com/rust-lang/rust/issues/65623. r? @eddyb
2019-10-25Correct handling of type flags with `ConstValue::Placeholder`varkor-7/+9
2019-10-21Rename `ConstValue::Infer(InferConst::Canonical(..))` to `ConstValue::Bound(..)`varkor-1/+1
2019-10-08Rollup merge of #65181 - nikomatsakis:lazy-norm-anon-const-push-1, r=varkorMazdak Farrokhzad-1/+3
fix bug in folding for constants These was a bug in the folding for constants that caused it to overlook bound regions. This branch includes some other little things that I did while trying to track the bug down. r? @oli-obk
2019-10-07make type-flags exhaustiveNiko Matsakis-1/+3
Didn't find any bugs here, but you really don't want these to fall out of sync.
2019-10-04generate GeneratorSubsts from SubstsRefcsmoe-1/+1
2019-09-29clean ClosureSubsts in rustc::tycsmoe-1/+1
2019-09-26Rename some `_sty` variables to `_kind`varkor-4/+4
2019-09-26Rename `subst::Kind` to `subst::GenericArg`varkor-4/+4
2019-08-19Auto merge of #63463 - matthewjasper:ty_param_cleanup, r=petrochenkovbors-13/+4
Don't special case the `Self` parameter by name This results in a couple of small diagnostic regressions. They could be avoided by keeping the special case just for diagnostics, but that seems worse. closes #50125 cc #60869
2019-08-14Handle cfg(bootstrap) throughoutMark Rousskov-2/+2
2019-08-11Remove `HAS_NORMALIZABLE_PROJECTION`Matthew Jasper-7/+2
2019-08-11Remove `is_self` and `has_self_ty` methodsMatthew Jasper-6/+2
2019-06-24Allow usage_of_ty_tykind only in styflip1995-0/+2
and in some special cases
2019-05-01Add `ConstValue::Placeholder`varkor-0/+3
2019-04-26Update handling of Tuplevarkor-2/+2
2019-03-16Revert the `LazyConst` PROliver Scherer-14/+24
2019-03-05Add const type flagsvarkor-8/+24
Co-Authored-By: Gabriel Smith <yodaldevoid@users.noreply.github.com>
2019-02-27rename Substs to InternalSubstscsmoe-2/+2
Change-Id: I3fa00e999a2ee4eb72db1fdf53a8633b49176a18
2019-02-05move librustc to 2018Mark Mansi-2/+2
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-10/+4
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-2/+2
2018-11-24Add `HAS_TY_PLACEHOLDER` flagscalexm-1/+4
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+1
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-2/+0
2018-11-03Rename `BoundTy` field `level` -> `index`scalexm-1/+1
2018-11-03Shift both late bound regions and bound typesscalexm-2/+5
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-2/+3
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-1/+1
2018-10-08Compute flags for `ty::UnnormalizedProjection`scalexm-1/+4
2018-10-05rustc/ty: simplify common patternsljedrz-3/+1
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+2
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-10/+10
This seemed like a good way to kick the tires on the elided-lifetimes-in-paths lint (#52069)—seems to work! This was also pretty tedious—it sure would be nice if `cargo fix` worked on this codebase (#53896)!
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 ↵varkor-19/+19
Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closure|Generator|GeneratorWitness|Never|Tuple|Projection|Anon|Infer|Error}
2018-08-22Rename ty::TyVariants to ty::TyKindvarkor-2/+2
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-7/+4
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-06-14Declare DebruijnIndex via newtype_index macroFabian Drinck-2/+2
2018-05-28remove use of depth from `TyS` and replace with a debruijn indexNiko Matsakis-12/+24
Co-authored-by: csmoe <35686186+csmoe@users.noreply.github.com>
2018-05-15Make is_global true for latebound regionsMatthew Jasper-4/+4