about summary refs log tree commit diff
path: root/src/librustc/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2017-06-01rustc: remove unused TypeFolder methods.Eduard-Mihai Burtescu-16/+0
2017-06-01rustc: remove unnecessary ItemSubsts wrapper.Eduard-Mihai Burtescu-23/+0
2017-05-31Upgrade ProjectionTy's Name to a DefIdTobias Schottdorf-5/+2
2017-04-30intern CodeExtentsNiko Matsakis-1/+1
2017-04-11add Subtype predicateNiko Matsakis-2/+33
2017-03-26store a copy of the Issue32230 info within TypeErrorAriel Ben-Yehuda-4/+6
2017-03-10Add extra methods to IndexVec and implement TypeFoldable for itJames Miller-0/+11
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-50/+4
2017-02-25rustc: store type parameter defaults outside of ty::Generics.Eduard-Mihai Burtescu-35/+1
2017-02-03Add warning for () to ! switchAndrew Cann-2/+2
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-2/+0
2017-01-28rustc: remove unused `bounds` field from `RegionParameterDef`.Eduard-Mihai Burtescu-17/+1
2017-01-28rustc: move object default lifetimes to resolve_lifetimes.Eduard-Mihai Burtescu-25/+1
2016-12-05Refactor FnSig to contain a Slice for its inputs and outputs.Mark-Simulacrum-8/+12
2016-12-05Refactor ty::FnSig to privatize all fieldsMark-Simulacrum-11/+7
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-12/+28
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-11/+0
2016-11-28Refactor BuiltinBounds to Vec<DefId> on TraitObject.Mark-Simulacrum-1/+1
2016-11-28Privatize TraitObject.principal and add a method accessor, returning Option.Mark-Simulacrum-7/+7
2016-11-28rustc_privacy: visit Ty instead of HIR types in EmbargoVisitor.Eduard-Mihai Burtescu-0/+34
2016-11-24Avoid more unnecessary mk_ty calls in Ty::super_fold_with.Nicholas Nethercote-1/+6
2016-11-12rustc: move closure upvar types to the closure substsAriel Ben-Yehuda-8/+4
2016-11-11Avoid unnecessary mk_ty calls in Ty::super_fold_with.Nicholas Nethercote-1/+1
2016-11-02rustc: record the target type of every adjustment.Eduard Burtescu-12/+12
2016-10-25Utilize AccumulateVec to avoid heap allocations in mk_{substs, type_list, tup...Mark-Simulacrum-2/+3
2016-10-19Use TypedArena::alloc_slice in rustc.Mark-Simulacrum-2/+2
2016-10-19Rollup merge of #37117 - pnkfelix:may-dangle-attr, r=nikomatsakisEduard-Mihai Burtescu-0/+2
2016-10-14add a per-param-env cache to `impls_bound`Ariel Ben-Yehuda-17/+0
2016-10-11Thread `pure_wrt_drop` field through lifetime and type parameters.Felix S. Klock II-0/+2
2016-09-28Remove unused `TypeError` variantsJonas Schievink-7/+0
2016-09-20rustc_metadata: remove ty{en,de}code and move to auto-derived serialization.Eduard Burtescu-12/+1
2016-09-08Refactor `TyStruct`/`TyEnum`/`TyUnion` into `TyAdt`Vadim Petrochenkov-6/+2
2016-09-03Add union typesVadim Petrochenkov-0/+2
2016-09-01turn the RFC1592 warnings into hard errorsAriel Ben-Yehuda-6/+0
2016-08-27rustc: pass ty::Region behind an interned 'tcx reference.Eduard Burtescu-34/+16
2016-08-27rustc: use accessors for Substs::{types,regions}.Eduard Burtescu-17/+0
2016-08-17rustc: remove ParamSpace from Substs.Eduard Burtescu-13/+1
2016-08-17rustc: split GenericPredicates of a method from its parent predicates.Eduard Burtescu-12/+0
2016-08-17rustc: split Generics of a method from its parent Generics.Eduard Burtescu-14/+0
2016-08-17rustc: reduce Substs and Generics to a simple immutable API.Eduard Burtescu-20/+6
2016-08-17rustc: move trait objects from TraitRef to ExistentialTraitRef.Eduard Burtescu-29/+61
2016-08-17rustc: force all raw accesses to VecPerParamSpace through as_full_slice.Eduard Burtescu-1/+1
2016-08-13Rename empty/bang to neverAndrew Cann-2/+2
2016-08-13Remove obsolete divergence related stuffAndrew Cann-32/+0
2016-08-13Start implementation of RFC 1216 (make ! a type)Andrew Cann-2/+2
2016-08-12typeck: leak auto trait obligations through impl Trait.Eduard Burtescu-5/+15
2016-08-12rustc: add TyAnon (impl Trait) to the typesystem.Eduard Burtescu-0/+2
2016-07-22remove rustc_typeck::same_type_errAriel Ben-Yehuda-0/+13
2016-05-31add trailing commaNiko Matsakis-1/+1
2016-05-11rustc: Split local type contexts interners from the global one.Eduard Burtescu-0/+35