summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2017-01-30cleanup: Refactor away `DtorKind`Vadim Petrochenkov-24/+1
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-1/+11
2017-01-28Auto merge of #39305 - eddyb:synelide, r=nikomatsakisbors-25/+5
2017-01-28rustc: remove unused `bounds` field from `RegionParameterDef`.Eduard-Mihai Burtescu-6/+5
2017-01-28rustc: move object default lifetimes to resolve_lifetimes.Eduard-Mihai Burtescu-19/+0
2017-01-27Rollup merge of #39321 - king6cong:master, r=frewsxcvAlex Crichton-1/+1
2017-01-26Point to immutable arg/fields when trying to use as &mutEsteban Küber-0/+2
2017-01-27doc comment typo fixking6cong-1/+1
2017-01-26rustc: don't call the HIR AST.Eduard-Mihai Burtescu-11/+11
2017-01-26rustc: rename TyCtxt's `map` field to `hir`.Eduard-Mihai Burtescu-40/+40
2017-01-25rename `Tables` to `TypeckTables`Niko Matsakis-3/+3
2017-01-06rustc: store ty::Tables separately for each body (except closures').Eduard-Mihai Burtescu-12/+23
2017-01-06rustc: keep track of tables everywhere as if they were per-body.Eduard-Mihai Burtescu-4/+15
2017-01-03Fix build after rebase.Andrew Cann-9/+16
2017-01-03Refactor is_uninhabitedAndrew Cann-54/+2
2017-01-03More pattern matching for empty types changesAndrew Cann-9/+24
2016-12-31Split CtxtArenas into GlobalArenas and CtxtInterners.Mark Simulacrum-2/+2
2016-12-28rustc: move function arguments into hir::Body.Eduard-Mihai Burtescu-1/+1
2016-12-28rustc: separate bodies for static/(associated)const and embedded constants.Eduard-Mihai Burtescu-4/+4
2016-12-28rustc: separate TraitItem from their parent Item, just like ImplItem.Eduard-Mihai Burtescu-26/+20
2016-12-28hir: lower `ImplicitSelf` to resolved `Self` TyQPath's.Eduard-Mihai Burtescu-1/+1
2016-12-26More systematic error reporting in path resolutionVadim Petrochenkov-3/+2
2016-12-24Use `DefId`s instead of `NodeId`s for `pub(restricted)` visibilities.Jeffrey Seyfried-24/+30
2016-12-20Rollup merge of #38418 - michaelwoerister:def_path_cleanup, r=eddybAlex Crichton-31/+4
2016-12-19Simplify `TyCtxt::create_and_enter`.Jeffrey Seyfried-1/+8
2016-12-16No need to have tcx::opt_def_path() now that we store all DefPathsMichael Woerister-31/+4
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