about summary refs log tree commit diff
path: root/src/librustc/ty/flags.rs
AgeCommit message (Collapse)AuthorLines
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
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-2/+2
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-2/+1
2018-05-08Store generator movability outside GeneratorInteriorJohn Kåre Alsaker-1/+1
2018-03-14remove defaulting to unitAndrew Cann-4/+1
Types will no longer default to `()`, instead always defaulting to `!`. This disables the associated warning and removes the flag from TyTuple
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-2/+10
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-26/+2
2018-03-08Add a variant to ConstVal for storing miri resultsOliver Schneider-0/+1
2018-01-23Adds support for immovable generators. Move checking of invalid borrows ↵John Kåre Alsaker-0/+6
across suspension points to borrowck. Fixes #44197, #45259 and #45093.
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-1/+2
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-0/+4
2017-09-11rustc: use ty::Const for the length of TyArray.Eduard-Mihai Burtescu-1/+37
2017-08-14Merge remote-tracking branch 'origin/master' into genAlex Crichton-1/+4
2017-08-14remove the "defaulted unit" type bit during writebackAriel Ben-Yehuda-1/+4
The defaulted unit bit is only relevant for the surrounding inference context, and can cause trouble, including spurious lints and ICEs, outside of it. Fixes #43853.
2017-08-09Initial pass review commentsAlex Crichton-1/+1
2017-07-28Move a FIXME aroundJohn Kåre Alsaker-2/+0
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+9
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-2/+2
Addresses the second part of #42171 by removing the `TraitRef` from `ProjectionTy`, and directly storing its `Substs`. Closes #42171.
2017-06-27rustc: move the PolyFnSig out of TyFnDef.Eduard-Mihai Burtescu-2/+1
2017-05-22remove the cell from type flags completelyNiko Matsakis-1/+1
2017-04-30intern CodeExtentsNiko Matsakis-1/+1
Make a `CodeExtent<'tcx>` be something allocated in an arena instead of an index into the `RegionMaps`.
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-5/+5