about summary refs log tree commit diff
path: root/src/librustc/ty/walk.rs
AgeCommit message (Collapse)AuthorLines
2019-04-26Update handling of Tuplevarkor-1/+1
2019-03-16Revert the `LazyConst` PROliver Scherer-1/+3
2019-02-27rename Substs to InternalSubstscsmoe-1/+1
Change-Id: I3fa00e999a2ee4eb72db1fdf53a8633b49176a18
2019-02-05move librustc to 2018Mark Mansi-1/+1
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-9/+3
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-1/+1
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-1/+1
2018-10-05Auto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavisbors-1/+1
Cleanup rustc/ty part 2 The second part of cleanups and minor improvements for rustc/ty. - improve allocations - calculate span after a possible early continue - simplify some patterns - mark a comment as FIXME - whitespace fixes The PR is independent from from the first part.
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-1/+1
2018-10-03rustc/ty: simplify some patternsljedrz-1/+1
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-1/+1
2018-08-23Use optimized SmallVec implementationIgor Gutorov-4/+3
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-2/+2
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-2/+2
2018-08-22Remove Ty prefix from ↵varkor-14/+14
Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closure|Generator|GeneratorWitness|Never|Tuple|Projection|Anon|Infer|Error}
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-6/+3
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-1/+4
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-1/+1
Types will no longer default to `()`, instead always defaulting to `!`. This disables the associated warning and removes the flag from TyTuple
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-1/+4
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/+3
2017-09-11rustc: use ty::Const for the length of TyArray.Eduard-Mihai Burtescu-6/+37
2017-08-09Initial pass review commentsAlex Crichton-1/+1
2017-07-28Generator literal supportJohn Kåre Alsaker-0/+4
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-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-5/+5
2017-02-03Add warning for () to ! switchAndrew Cann-1/+1
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-1/+1
2016-12-05Refactor ty::FnSig to privatize all fieldsMark-Simulacrum-2/+2
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-8/+13
Renames TyTrait to TyDynamic.
2016-11-28Privatize TraitObject.principal and add a method accessor, returning Option.Mark-Simulacrum-1/+4
2016-11-22Use SmallVec for TypeWalker's stack.Nicholas Nethercote-8/+13
The change also adds the missing `SmallVec::truncate` method.
2016-11-12rustc: move closure upvar types to the closure substsAriel Ben-Yehuda-2/+1
This moves closures to the (DefId, Substs) scheme like all other items, and saves a word from the size of TyS now that Substs is 2 words.
2016-10-31Changed most vec! invocations to use square bracesiirelu-1/+1
Most of the Rust community agrees that the vec! macro is clearer when called using square brackets [] instead of regular brackets (). Most of these ocurrences are from before macros allowed using different types of brackets. There is one left unchanged in a pretty-print test, as the pretty printer still wants it to have regular brackets.
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-4/+1
2016-09-03Add union typesVadim Petrochenkov-0/+1
2016-08-27rustc: use Vec<Kind> in Substs, where Kind is a &TyS | &Region tagged pointer.Eduard Burtescu-25/+16
2016-08-27rustc: use accessors for Substs::{types,regions}.Eduard Burtescu-8/+11
2016-08-17rustc: remove ParamSpace from Substs.Eduard Burtescu-4/+4
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-3/+3
2016-08-17rustc: force all raw accesses to VecPerParamSpace through as_full_slice.Eduard Burtescu-5/+5
2016-08-13Rename empty/bang to neverAndrew Cann-1/+1
Split Ty::is_empty method into is_never and is_uninhabited
2016-08-13Remove obsolete divergence related stuffAndrew Cann-4/+1
Replace FnOutput with Ty Replace FnConverging(ty) with ty Purge FnDiverging, FunctionRetTy::NoReturn and FunctionRetTy::None