about summary refs log tree commit diff
path: root/src/librustc/ty/flags.rs
AgeCommit message (Expand)AuthorLines
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