summary refs log tree commit diff
path: root/src/librustc/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2017-04-16Compress ReprOptions a little bitSimonas Kazlauskas-1/+1
2017-03-13some style fixesTshepang Lekhonkhobe-31/+31
2017-02-28Rollup merge of #39977 - frewsxcv:error-reporting-cleanup, r=eddybCorey Farwell-0/+18
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-1/+1
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-35/+17
2017-02-20Move `TraitRef` `impl` next to `struct` definition.Corey Farwell-0/+18
2017-02-10Use global recursion limit when evaluating inhabitednessAndrew Cann-3/+3
2017-02-09Add recursion limit to inhabitedness checkAndrew Cann-1/+1
2017-02-05make lifetimes that only appear in return type early-boundNiko Matsakis-15/+10
2017-02-03Add is_defaulted_unit helper methodAndrew Cann-0/+9
2017-02-03Add warning for () to ! switchAndrew Cann-3/+7
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