summary refs log tree commit diff
path: root/src/librustc/ty/util.rs
AgeCommit message (Expand)AuthorLines
2017-06-01remove `layout_cache` and fix `-Z print-type-sizes`Niko Matsakis-1/+15
2017-06-01strip param-env from infcxNiko Matsakis-11/+24
2017-06-01rewrite layout to take a (param-env, ty) pair instead of infcxNiko Matsakis-26/+26
2017-06-01move projection mode into parameter environmentNiko Matsakis-8/+20
2017-05-31Upgrade ProjectionTy's Name to a DefIdTobias Schottdorf-2/+1
2017-05-28Auto merge of #41917 - arielb1:mir-array, r=nagisabors-0/+9
2017-05-28address review commentsAriel Ben-Yehuda-1/+1
2017-05-28translate array drop glue using MIRAriel Ben-Yehuda-0/+9
2017-05-26extend `struct_tail` to operate over closuresNiko Matsakis-7/+23
2017-05-22two more style nitsNiko Matsakis-5/+4
2017-05-22rename `ParameterEnvironment` to `ParamEnv`Niko Matsakis-12/+12
2017-05-22move `needs_drop` into a queryNiko Matsakis-106/+72
2017-05-22refactor common logic into `ParameterEnvironment::and()`Niko Matsakis-15/+3
2017-05-22centralize the caching for is-copy, is-sized, and is-freezeNiko Matsakis-145/+82
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-3/+2
2017-05-07Auto merge of #40857 - estebank:recursive, r=arielb1bors-18/+32
2017-05-05Move logic to `is_representable` instead of climbing HIREsteban Küber-18/+32
2017-05-02Store interned predicates in ParameterEnvironmentTobias Schottdorf-0/+3
2017-04-30intern CodeExtentsNiko Matsakis-3/+3
2017-04-24rustc: use tcx.at(span) to set the location of a query.Eduard-Mihai Burtescu-1/+1
2017-04-24rustc: expose the common DUMMY_SP query case as tcx methods.Eduard-Mihai Burtescu-1/+1
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-5/+5
2017-04-23cache ADT dtorck resultsAriel Ben-Yehuda-3/+161
2017-04-22avoid calling `mk_region` unnecessarilyAriel Ben-Yehuda-1/+1
2017-04-20rustc: combine type_needs_drop_given_env and may_drop into needs_drop.Eduard-Mihai Burtescu-20/+58
2017-04-20rustc: replace TypeContents::needs_drop with Ty::may_drop.Eduard-Mihai Burtescu-1/+78
2017-04-20rustc: replace interior_unsafe with a Freeze trait.Eduard-Mihai Burtescu-0/+44
2017-04-13Auto merge of #40570 - nikomatsakis:inference-subtype-through-obligation, r=a...bors-0/+1
2017-04-12ICH: Replace old, transitive metadata hashing with direct hashing approach.Michael Woerister-11/+19
2017-04-11add Subtype predicateNiko Matsakis-0/+1
2017-04-07ICH: Centrally compute and cache DefPath hashes as part of DefPathTable.Michael Woerister-8/+6
2017-03-22Address review comments.Michael Woerister-1/+3
2017-03-22Support more kinds of Regions in TypeIdHasher.Michael Woerister-8/+9
2017-03-18resolve instances to ty::Instance directlyAriel Ben-Yehuda-2/+0
2017-03-18move Instance to rustc and use it in the collectorAriel Ben-Yehuda-0/+12
2017-03-13some style fixesTshepang Lekhonkhobe-16/+14
2017-03-10Fix recursion depth counting in `layout`James Miller-2/+3
2017-03-01convert AdtDef::destructor to on-demandAriel Ben-Yehuda-18/+31
2017-02-25rustc_const_eval: always demand typeck_tables for evaluating constants.Eduard-Mihai Burtescu-25/+31
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-4/+4
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-15/+0
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-4/+4
2017-02-25rustc: move the actual values of enum discriminants into a map.Eduard-Mihai Burtescu-11/+79
2017-02-10Revert use of layout code in typeck::collectSimonas Kazlauskas-18/+0
2017-02-10Fix the IntTypeExt::to_ty() lifetime boundsSimonas Kazlauskas-2/+2
2017-02-10SwitchInt over SwitchSimonas Kazlauskas-15/+5
2017-02-10Move type of discriminant to AdtDefSimonas Kazlauskas-49/+12
2017-02-03Hash TyTuple's defaulted flagAndrew Cann-1/+2
2017-02-03Add warning for () to ! switchAndrew Cann-3/+3
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-3/+2