summary refs log tree commit diff
path: root/src/librustc/ty/flags.rs
AgeCommit message (Expand)AuthorLines
2018-03-14remove defaulting to unitAndrew Cann-4/+1
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 acros...John Kåre Alsaker-0/+6
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
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
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
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-7/+12
2016-11-28Privatize TraitObject.principal and add a method accessor, returning Option.Mark-Simulacrum-1/+1
2016-11-12rustc: move closure upvar types to the closure substsAriel Ben-Yehuda-2/+1
2016-10-21only remove keys that mention skolemized regionsNiko Matsakis-18/+4
2016-10-03loosen assertion against proj in collectorNiko Matsakis-0/+5
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-1/+1
2016-09-03Add union typesVadim Petrochenkov-1/+1
2016-08-27rustc: use Vec<Kind> in Substs, where Kind is a &TyS | &Region tagged pointer.Eduard Burtescu-2/+2
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-3/+3
2016-08-27rustc: use accessors for Substs::{types,regions}.Eduard Burtescu-2/+5
2016-08-17rustc: remove ParamSpace from Substs.Eduard Burtescu-2/+2
2016-08-17rustc: remove SelfSpace from ParamSpace.Eduard Burtescu-2/+2
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-2/+2
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-13/+8
2016-08-17rustc: force all raw accesses to VecPerParamSpace through as_full_slice.Eduard Burtescu-2/+2
2016-08-13Rename empty/bang to neverAndrew Cann-1/+1
2016-08-13Remove obsolete divergence related stuffAndrew Cann-4/+1
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-0/+1
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-0/+5
2016-06-05rustc: add ReErased to be used by trait selection, MIR and trans.Eduard Burtescu-1/+1
2016-05-31add flag for ReSkolemizedNiko Matsakis-1/+5
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-3/+12
2016-03-27rustc: move cfg, infer, traits and ty from middle to top-level.Eduard Burtescu-0/+205