summary refs log tree commit diff
path: root/src/librustc/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2017-01-30Implement Drop for BoxVadim Petrochenkov-2/+1
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-12/+13
2017-01-26Point to immutable arg/fields when trying to use as &mutEsteban Küber-1/+1
2017-01-12E0034: provide disambiguated syntax for candidatesEsteban Küber-0/+11
2017-01-03Fix make tidyAndrew Cann-1/+1
2017-01-03Change file structure, add comments for inhabitedness.rsAndrew Cann-10/+41
2017-01-03Spelling. s/forrest/forestAndrew Cann-2/+2
2017-01-03Fix build after rebase.Andrew Cann-5/+5
2017-01-03Refactor is_uninhabitedAndrew Cann-20/+12
2016-12-20Start of implementation of proposal for E0308Guillaume Gomez-0/+1
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