summary refs log tree commit diff
path: root/src/librustc/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2016-12-05Refactor FnSig to contain a Slice for its inputs and outputs.Mark-Simulacrum-19/+10
2016-12-05Refactor ty::FnSig to privatize all fieldsMark-Simulacrum-6/+24
2016-12-02Auto merge of #38053 - eddyb:lazy-9, r=nikomatsakisbors-2/+2
2016-11-29rustc: simplify AdtDef by removing the field types and ty::ivar.Eduard-Mihai Burtescu-2/+2
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-55/+139
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-69/+1
2016-11-28Refactor BuiltinBounds to Vec<DefId> on TraitObject.Mark-Simulacrum-13/+21
2016-11-28Privatize TraitObject.principal and add a method accessor, returning Option.Mark-Simulacrum-3/+20
2016-11-22Use FxHashSet instead of HashMapAndrew Cann-3/+3
2016-11-22Make is_uninhabited respect privacyAndrew Cann-9/+10
2016-11-22Expand is_uninhabited for referencesAndrew Cann-4/+3
2016-11-22Expand `is_uninhabited` to recurse into datatypesAndrew Cann-2/+13
2016-11-22Expand is_uninhabited for ! and tuplesAndrew Cann-5/+3
2016-11-20Move `syntax::util::interner` -> `syntax::symbol`, cleanup.Jeffrey Seyfried-1/+1
2016-11-12rustc: move closure upvar types to the closure substsAriel Ben-Yehuda-7/+16
2016-11-10rustc: clean up lookup_item_type and remove TypeScheme.Eduard Burtescu-2/+2
2016-10-21only remove keys that mention skolemized regionsNiko Matsakis-1/+30
2016-09-20rustc_metadata: remove ty{en,de}code and move to auto-derived serialization.Eduard Burtescu-25/+30
2016-09-20rustc_metadata: side-step ty{en,de}code for everything but Ty.Eduard Burtescu-5/+5
2016-09-20rustc_metadata: combine DecodeContext and rbml::reader::Decoder.Eduard Burtescu-28/+4
2016-09-20rustc_metadata: use specialization for {en,de}coding Ty and Substs.Eduard Burtescu-2/+2
2016-09-13Make sure that projection bounds in ty::TraitObject are sorted in a way that ...Michael Woerister-9/+12
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-30/+13
2016-09-04Replace `_, _` with `..`Vadim Petrochenkov-3/+3
2016-09-03Fix rebase + address commentsVadim Petrochenkov-1/+1
2016-09-03Some better support for unions through the compilerVadim Petrochenkov-3/+4
2016-09-03Add union typesVadim Petrochenkov-0/+6
2016-08-27rustc: use Vec<Kind> in Substs, where Kind is a &TyS | &Region tagged pointer.Eduard Burtescu-7/+6
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-3/+12
2016-08-27rustc: use accessors for Substs::{types,regions}.Eduard Burtescu-9/+10
2016-08-17rustc: remove ParamSpace from Substs.Eduard Burtescu-21/+15
2016-08-17rustc: remove SelfSpace from ParamSpace.Eduard Burtescu-4/+10
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-30/+2
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-75/+105
2016-08-17rustc: force all raw accesses to VecPerParamSpace through as_full_slice.Eduard Burtescu-4/+4
2016-08-13Revert Ty::is_uninhabited to its original stateAndrew Cann-3/+3
2016-08-13Un-improve Ty::is_uninabitedAndrew Cann-3/+7
2016-08-13Rename empty/bang to neverAndrew Cann-8/+16
2016-08-13Remove obsolete divergence related stuffAndrew Cann-48/+3
2016-08-13Switch on TyEmptyAndrew Cann-6/+13
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-0/+4
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-1/+8
2016-06-20trans: generalize immediate temporaries to all MIR locals.Eduard Burtescu-0/+7
2016-06-05rustc: add ReErased to be used by trait selection, MIR and trans.Eduard Burtescu-0/+3
2016-05-31add trailing commaNiko Matsakis-1/+1
2016-05-31add `Issue32330` warning marker to bound regionsNiko Matsakis-1/+20
2016-05-11rustc: Remove the unnecessary ast_ty_to_ty_cache.Eduard Burtescu-4/+2
2016-05-11rustc: More interning for data used in Ty<'tcx>.Eduard Burtescu-18/+19
2016-05-11rustc: Generalize a minimum set of functions over 'tcx != 'gcx.Eduard Burtescu-11/+11
2016-05-11rustc: Split 'tcx into 'gcx and 'tcx for InferCtxt and its users.Eduard Burtescu-7/+7