summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2017-01-06rebase: remove `tcx` from `associated_item`Niko Matsakis-2/+2
2016-12-02Auto merge of #38053 - eddyb:lazy-9, r=nikomatsakisbors-170/+78
2016-11-30Auto merge of #37954 - eddyb:rustdoc-2, r=alexcrichtonbors-0/+8
2016-11-30rustc: track the Span's of definitions across crates.Eduard-Mihai Burtescu-0/+8
2016-11-29Auto merge of #37965 - Mark-Simulacrum:trait-obj-to-exis-predicate, r=eddybbors-16/+6
2016-11-29rustc: simplify AdtDef by removing the field types and ty::ivar.Eduard-Mihai Burtescu-165/+77
2016-11-29rustc: remove type information from TraitDef.Eduard-Mihai Burtescu-5/+1
2016-11-29Fix rebase breakageFlorian Diebold-2/+2
2016-11-29rustc: replace body exprs by their idsFlorian Diebold-5/+5
2016-11-28Adds TyCtxt::require_lang_item(LangItem) to simplify lang item requires.Mark-Simulacrum-8/+4
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-2/+2
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-6/+0
2016-11-28rustc_privacy: visit Ty instead of HIR types in EmbargoVisitor.Eduard-Mihai Burtescu-2/+7
2016-11-28rustc_typeck: save the type cache for rustdoc and save-analysis.Eduard Burtescu-4/+4
2016-11-28rustc: embed path resolutions into the HIR instead of keeping DefMap.Eduard-Mihai Burtescu-21/+5
2016-11-28rustc: desugar UFCS as much as possible during HIR lowering.Eduard Burtescu-5/+6
2016-11-23Auto merge of #36449 - canndrew:expand_is_uninhabited, r=eddybbors-6/+45
2016-11-22Use FxHashSet instead of HashMapAndrew Cann-8/+6
2016-11-22Make is_uninhabited respect privacyAndrew Cann-4/+10
2016-11-22Recursive types are always non-emptyAndrew Cann-1/+1
2016-11-22Fix previous commitAndrew Cann-1/+1
2016-11-22Expand `is_uninhabited` to recurse into datatypesAndrew Cann-5/+40
2016-11-22Use SmallVec for TypeWalker's stack.Nicholas Nethercote-1/+2
2016-11-21Use `Symbol` instead of `InternedString` in the AST, HIR, and various other p...Jeffrey Seyfried-2/+2
2016-11-20Move `syntax::util::interner` -> `syntax::symbol`, cleanup.Jeffrey Seyfried-2/+2
2016-11-17hash the contents of impl-item-ref by adding them to visitorNiko Matsakis-5/+2
2016-11-17when creating an AssociatedItem, read data from impl, not impl itemNiko Matsakis-60/+105
2016-11-16include a Name and Span for each item in the HIR of the implNiko Matsakis-3/+3
2016-11-16refactor Visitor into ItemLikeVisitor and intravisit::VisitorNiko Matsakis-6/+6
2016-11-12rustc: move closure upvar types to the closure substsAriel Ben-Yehuda-2/+2
2016-11-10rustc: clean up lookup_item_type and remove TypeScheme.Eduard Burtescu-72/+14
2016-11-10rustc: unify and simplify managing associated items.Eduard Burtescu-244/+152
2016-11-08Replace FnvHasher use with FxHasher.Nicholas Nethercote-11/+11
2016-11-02rustc: record the target type of every adjustment.Eduard Burtescu-28/+0
2016-11-02rustc: make all read access to tcx.tables go through a method.Eduard Burtescu-65/+8
2016-10-28rustc: move the MIR map into TyCtxt.Eduard Burtescu-1/+15
2016-10-27Preparations and cleanupVadim Petrochenkov-1/+1
2016-10-26Auto merge of #37270 - Mark-Simulacrum:smallvec-optimized-arenas, r=eddybbors-4/+13
2016-10-25Utilize AccumulateVec to avoid heap allocations in mk_{substs, type_list, tup...Mark-Simulacrum-4/+13
2016-10-21only remove keys that mention skolemized regionsNiko Matsakis-0/+1
2016-10-19Use TypedArena::alloc_slice in rustc.Mark-Simulacrum-1/+1
2016-10-19Rollup merge of #37117 - pnkfelix:may-dangle-attr, r=nikomatsakisEduard-Mihai Burtescu-0/+18
2016-10-17Fix Subst construction: use subst from adt_def rather than Drop impl's subst.Felix S. Klock II-0/+8
2016-10-15Auto merge of #37152 - arielb1:drop-cache, r=pnkfelixbors-2/+14
2016-10-15Auto merge of #37100 - dikaiosune:master, r=eddybbors-1/+1
2016-10-14add a per-param-env cache to `impls_bound`Ariel Ben-Yehuda-2/+14
2016-10-11Temporary fix for metadata decoding for struct constructorsVadim Petrochenkov-1/+5
2016-10-11Thread `pure_wrt_drop` field through lifetime and type parameters.Felix S. Klock II-0/+10
2016-10-05Fixing comment typo.Adam Perry-1/+1
2016-10-04Eliminate ty::VariantKind in favor of def::CtorKindVadim Petrochenkov-21/+1