summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2016-11-03add a per-param-env cache to `impls_bound`Ariel Ben-Yehuda-2/+14
2016-10-11loosen assertion against proj in collectorNiko Matsakis-0/+4
2016-09-24Rollup merge of #36559 - grimreaper:eax/fix/r1, r=nikomatsakisGuillaume Gomez-1/+1
2016-09-20serialize: allow specifying the default behavior for specializations.Eduard Burtescu-2/+2
2016-09-20rustc_metadata: move opt_item_name to TyCtxt::item_name.Eduard Burtescu-5/+16
2016-09-20rustc_metadata: replace RBML with a simple and type-safe scheme.Eduard Burtescu-1/+4
2016-09-20rustc_metadata: group information into less tags.Eduard Burtescu-9/+9
2016-09-20rustc: remove ImplOrTraitItemId and TraitDef's associated_type_names.Eduard Burtescu-43/+12
2016-09-20rustc_metadata: move more RBML tags to auto-serialization.Eduard Burtescu-125/+23
2016-09-20rustc_metadata: remove ty{en,de}code and move to auto-derived serialization.Eduard Burtescu-0/+40
2016-09-20rustc_metadata: side-step ty{en,de}code for everything but Ty.Eduard Burtescu-9/+9
2016-09-20rustc_metadata: go only through rustc_serialize in astencode.Eduard Burtescu-7/+6
2016-09-20rustc_metadata: combine DecodeContext and rbml::reader::Decoder.Eduard Burtescu-13/+3
2016-09-20rustc_metadata: use specialization for {en,de}coding Ty and Substs.Eduard Burtescu-19/+4
2016-09-18per timnnEitan Adler-1/+1
2016-09-17remove duplicate duplicate wordsEitan Adler-1/+1
2016-09-13Make sure that projection bounds in ty::TraitObject are sorted in a way that ...Michael Woerister-4/+0
2016-09-12Auto merge of #35960 - nikomatsakis:incr-comp-krate-edges, r=michaelwoeristerbors-5/+34
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-8/+36
2016-09-06always print def-path in Debug impl for DefIdNiko Matsakis-4/+33
2016-09-06write to inherent_impls during the visitorNiko Matsakis-1/+1
2016-09-04Replace `_, _` with `..`Vadim Petrochenkov-3/+3
2016-09-04Replace `_, _, _` with `..`Vadim Petrochenkov-5/+5
2016-09-03Auto merge of #36119 - arielb1:ctp-again, r=eddybbors-2/+7
2016-09-03Address comments and add requested testsVadim Petrochenkov-1/+1
2016-09-03Some better support for unions through the compilerVadim Petrochenkov-3/+7
2016-09-03Lower unions from AST to HIR and from HIR to typesVadim Petrochenkov-3/+7
2016-09-03Add union typesVadim Petrochenkov-1/+2
2016-09-01Auto merge of #35761 - nikomatsakis:faster-trans-fulfill-obligation, r=eddybbors-1/+2
2016-09-01turn the RFC1592 warnings into hard errorsAriel Ben-Yehuda-13/+4
2016-08-31simplify DepNode for trait selectionNiko Matsakis-1/+2
2016-08-30fix broken type parameter indexing logic in wfcheckAriel Ben-Yehuda-2/+7
2016-08-28Rollup merge of #35917 - jseyfried:remove_attr_ext_traits, r=nrcJeffrey Seyfried-1/+1
2016-08-27rustc: use Vec<Kind> in Substs, where Kind is a &TyS | &Region tagged pointer.Eduard Burtescu-23/+20
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-26/+33
2016-08-27rustc: use accessors for Substs::{types,regions}.Eduard Burtescu-9/+7
2016-08-25Refactor away `AttrMetaMethods`.Jeffrey Seyfried-1/+1
2016-08-24Remove drop flags from structs and enums implementing Drop.Eduard Burtescu-20/+4
2016-08-17rustc: remove ParamSpace from Substs.Eduard Burtescu-18/+14
2016-08-17rustc: split GenericPredicates of a method from its parent predicates.Eduard Burtescu-7/+18
2016-08-17rustc: split Generics of a method from its parent Generics.Eduard Burtescu-24/+5
2016-08-17rustc: remove SelfSpace from ParamSpace.Eduard Burtescu-1/+1
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-92/+78
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-2/+4
2016-08-17rustc: avoid using subst::VecPerParamSpace::{empty,new} directly.Eduard Burtescu-8/+15
2016-08-17rustc: force all raw accesses to VecPerParamSpace through as_full_slice.Eduard Burtescu-6/+7
2016-08-17rustc: use Vec instead of VecPerParamSpace for ty::GenericPredicates.Eduard Burtescu-8/+8
2016-08-13Rename empty/bang to neverAndrew Cann-1/+1
2016-08-13Remove obsolete divergence related stuffAndrew Cann-2/+1
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-1/+1