summary refs log tree commit diff
path: root/src/librustc/ty
AgeCommit message (Expand)AuthorLines
2017-04-01store a copy of the Issue32230 info within TypeErrorAriel Ben-Yehuda-11/+13
2017-03-10Initial implementation of inlining for MIRJames Miller-0/+14
2017-03-10Fix recursion depth counting in `layout`James Miller-2/+3
2017-03-10Add extra methods to IndexVec and implement TypeFoldable for itJames Miller-0/+11
2017-03-07Fix a typo in the docsOliver Schneider-1/+1
2017-03-03Auto merge of #40178 - arielb1:provide-destructors, r=eddybbors-77/+65
2017-03-03Auto merge of #39927 - nikomatsakis:incr-comp-skip-borrowck-2, r=eddybbors-19/+19
2017-03-01fix tests to handle the Typeof bodiesNiko Matsakis-1/+2
2017-03-01inhibit enum layout optimizations under `#[repr(C)]` or `#[repr(u8)]`Niko Matsakis-2/+10
2017-03-01convert AdtDef::destructor to on-demandAriel Ben-Yehuda-77/+65
2017-02-28add `visit_all_bodies_in_krate` helperNiko Matsakis-0/+11
2017-02-28move the `FreeRegionMap` into `TypeckTables`Niko Matsakis-18/+6
2017-02-28Rollup merge of #39977 - frewsxcv:error-reporting-cleanup, r=eddybCorey Farwell-18/+18
2017-02-25rustc_const_eval: demand that the MIR qualify_consts ran on each evaluated body.Eduard-Mihai Burtescu-0/+5
2017-02-25rustc_const_eval: always demand typeck_tables for evaluating constants.Eduard-Mihai Burtescu-32/+38
2017-02-25rustc_typeck: rework coherence to be almost completely on-demand.Eduard-Mihai Burtescu-28/+162
2017-02-25rustc: allow handling cycle errors gracefully in on-demand.Eduard-Mihai Burtescu-45/+87
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-136/+100
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-176/+61
2017-02-25rustc_typeck: don't use Result for get_type_parameter_bounds and ensure_super...Eduard-Mihai Burtescu-3/+96
2017-02-25rustc_typeck: lift CrateCtxt to TyCtxt.Eduard Burtescu-5/+34
2017-02-25rustc: introduce a query system for type information in ty::maps.Eduard Burtescu-148/+136
2017-02-25rustc: consolidate dep-tracked hashmaps in tcx.maps.Eduard-Mihai Burtescu-148/+126
2017-02-25rustc: move the actual values of enum discriminants into a map.Eduard-Mihai Burtescu-29/+137
2017-02-25rustc: store type parameter defaults outside of ty::Generics.Eduard-Mihai Burtescu-71/+36
2017-02-25Rollup merge of #40025 - est31:master, r=eddybEduard-Mihai Burtescu-0/+4
2017-02-24Rollup merge of #39940 - sgrif:sg-indentation, r=alexcrichtonGuillaume Gomez-1/+1
2017-02-23Implement non-capturing closure to fn coercionest31-0/+4
2017-02-20Move `TraitRef` `impl` next to `struct` definition.Corey Farwell-18/+18
2017-02-19Auto merge of #39912 - nikomatsakis:incr-comp-trait-select-no-vec, r=eddybbors-18/+12
2017-02-18Fix indentation of error messageSean Griffin-1/+1
2017-02-18Auto merge of #39877 - estebank:remove-params, r=petrochenkovbors-7/+1
2017-02-17rework `TraitSelect` to avoid a vec and just use two def-idsNicholas Nethercote-18/+12
2017-02-15Remove noop method `Substs::params()`Esteban Küber-7/+1
2017-02-13Auto merge of #39456 - nagisa:mir-switchint-everywhere, r=nikomatsakisbors-87/+40
2017-02-12Auto merge of #39680 - canndrew:uninhabited_from-infinite-loop, r=arielb1bors-18/+39
2017-02-11Rebase falloutSimonas Kazlauskas-4/+2
2017-02-10Fix intcast, use it where appropriateSimonas Kazlauskas-1/+17
2017-02-10Rebase fixupsSimonas Kazlauskas-2/+0
2017-02-10Fix buildSimonas Kazlauskas-29/+10
2017-02-10Revert use of layout code in typeck::collectSimonas Kazlauskas-23/+11
2017-02-10Fix the IntTypeExt::to_ty() lifetime boundsSimonas Kazlauskas-39/+3
2017-02-10Fix build on further stagesSimonas Kazlauskas-2/+2
2017-02-10SwitchInt over SwitchSimonas Kazlauskas-15/+5
2017-02-10AdtDef now contains discr_ty same as layoutedSimonas Kazlauskas-9/+57
2017-02-10Move type of discriminant to AdtDefSimonas Kazlauskas-58/+28
2017-02-10Use global recursion limit when evaluating inhabitednessAndrew Cann-40/+47
2017-02-09Add recursion limit to inhabitedness checkAndrew Cann-12/+26
2017-02-07Refactor layout to use the new ReprOptionsAustin Hicks-63/+39