summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2017-03-10Initial implementation of inlining for MIRJames Miller-0/+14
2017-03-07Fix a typo in the docsOliver Schneider-1/+1
2017-03-03Auto merge of #40178 - arielb1:provide-destructors, r=eddybbors-59/+33
2017-03-03Auto merge of #39927 - nikomatsakis:incr-comp-skip-borrowck-2, r=eddybbors-0/+11
2017-03-01inhibit enum layout optimizations under `#[repr(C)]` or `#[repr(u8)]`Niko Matsakis-0/+7
2017-03-01convert AdtDef::destructor to on-demandAriel Ben-Yehuda-59/+33
2017-02-28add `visit_all_bodies_in_krate` helperNiko Matsakis-0/+11
2017-02-28Rollup merge of #39977 - frewsxcv:error-reporting-cleanup, r=eddybCorey Farwell-18/+0
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-20/+36
2017-02-25rustc: allow handling cycle errors gracefully in on-demand.Eduard-Mihai Burtescu-15/+17
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-66/+38
2017-02-25rustc: simplify tcx.closure_type(...) as it can copy the cached values.Eduard-Mihai Burtescu-10/+2
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-3/+3
2017-02-25rustc_typeck: don't use Result for get_type_parameter_bounds and ensure_super...Eduard-Mihai Burtescu-1/+1
2017-02-25rustc_typeck: lift CrateCtxt to TyCtxt.Eduard Burtescu-5/+4
2017-02-25rustc: introduce a query system for type information in ty::maps.Eduard Burtescu-111/+36
2017-02-25rustc: consolidate dep-tracked hashmaps in tcx.maps.Eduard-Mihai Burtescu-29/+31
2017-02-25rustc: move the actual values of enum discriminants into a map.Eduard-Mihai Burtescu-11/+39
2017-02-25rustc: store type parameter defaults outside of ty::Generics.Eduard-Mihai Burtescu-11/+20
2017-02-20Move `TraitRef` `impl` next to `struct` definition.Corey Farwell-18/+0
2017-02-17rework `TraitSelect` to avoid a vec and just use two def-idsNicholas Nethercote-18/+12
2017-02-10Rebase fixupsSimonas Kazlauskas-2/+0
2017-02-10Revert use of layout code in typeck::collectSimonas Kazlauskas-1/+6
2017-02-10Move type of discriminant to AdtDefSimonas Kazlauskas-2/+6
2017-02-06Introduce ReprOptions, a struct for holding info from the repr attributes. T...Austin Hicks-2/+31
2017-02-05make lifetimes that only appear in return type early-boundNiko Matsakis-2/+2
2017-02-03Fix make tidyAndrew Cann-1/+1
2017-02-03Add warning for () to ! switchAndrew Cann-3/+20
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