summary refs log tree commit diff
path: root/src/librustc/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2017-07-11Downgrade ProjectionTy's TraitRef to its substsTobias Schottdorf-39/+39
2017-07-11Clean up some codeGuillaume Gomez-1/+0
2017-07-05use field init shorthand in src/librustcZack M. Davis-2/+2
2017-06-29Code review fixesgaurikholkar-0/+14
2017-06-27rustc: move the PolyFnSig out of TyFnDef.Eduard-Mihai Burtescu-4/+7
2017-06-03Auto merge of #42332 - michaelwoerister:no-more-retracing, r=nikomatsakisbors-3/+3
2017-06-01Auto merge of #42281 - eddyb:well-adjusted, r=nikomatsakisbors-11/+0
2017-06-01rustc: replace method_map with Def::Method and node_substs entries.Eduard-Mihai Burtescu-2/+0
2017-06-01rustc: replace TyFnDef in MethodCallee with just the FnSig.Eduard-Mihai Burtescu-9/+0
2017-05-31Upgrade ProjectionTy's Name to a DefIdTobias Schottdorf-6/+31
2017-05-31Make a newtype for DefPathHash so they are not confused with content hashesMichael Woerister-3/+3
2017-05-18Use 128 instead of 64 bits for DefPath hashesMichael Woerister-2/+3
2017-05-13rustc: stop interning CodeExtent, it's small enough.Eduard-Mihai Burtescu-5/+5
2017-05-13rustc: treat ReEarlyBound as free without replacing it with ReFree.Eduard-Mihai Burtescu-2/+2
2017-05-13rustc: use DefId instead of CodeExtent for FreeRegion's scope.Eduard-Mihai Burtescu-7/+3
2017-05-11Upgrade some comments to doc commentsOliver Schneider-24/+23
2017-05-02Rollup merge of #41662 - nikomatsakis:on-demandify-region-mapping, r=eddybCorey Farwell-11/+17
2017-05-02Auto merge of #41488 - estebank:closure-args, r=arielb1bors-0/+16
2017-04-30intern CodeExtentsNiko Matsakis-11/+13
2017-04-30remove ROOT_CODE_EXTENT and DUMMY_CODE_EXTENTNiko Matsakis-1/+5
2017-04-24rustc: rename some of the queries to match tcx methods.Eduard-Mihai Burtescu-3/+3
2017-04-23Clean up closure type mismatch errorsEsteban Küber-0/+16
2017-04-16Compress ReprOptions a little bitSimonas Kazlauskas-1/+1
2017-03-13some style fixesTshepang Lekhonkhobe-31/+31
2017-02-28Rollup merge of #39977 - frewsxcv:error-reporting-cleanup, r=eddybCorey Farwell-0/+18
2017-02-25rustc_typeck: hook up collect and item/body check to on-demand.Eduard-Mihai Burtescu-1/+1
2017-02-25rustc: combine BareFnTy and ClosureTy into FnSig.Eduard-Mihai Burtescu-35/+17
2017-02-20Move `TraitRef` `impl` next to `struct` definition.Corey Farwell-0/+18
2017-02-10Use global recursion limit when evaluating inhabitednessAndrew Cann-3/+3
2017-02-09Add recursion limit to inhabitedness checkAndrew Cann-1/+1
2017-02-05make lifetimes that only appear in return type early-boundNiko Matsakis-15/+10
2017-02-03Add is_defaulted_unit helper methodAndrew Cann-0/+9
2017-02-03Add warning for () to ! switchAndrew Cann-3/+7
2017-01-30Implement Drop for BoxVadim Petrochenkov-2/+1
2017-01-30Merge ty::TyBox into ty::TyAdtVadim Petrochenkov-12/+13
2017-01-26Point to immutable arg/fields when trying to use as &mutEsteban Küber-1/+1
2017-01-12E0034: provide disambiguated syntax for candidatesEsteban Küber-0/+11
2017-01-03Fix make tidyAndrew Cann-1/+1
2017-01-03Change file structure, add comments for inhabitedness.rsAndrew Cann-10/+41
2017-01-03Spelling. s/forrest/forestAndrew Cann-2/+2
2017-01-03Fix build after rebase.Andrew Cann-5/+5
2017-01-03Refactor is_uninhabitedAndrew Cann-20/+12
2016-12-20Start of implementation of proposal for E0308Guillaume Gomez-0/+1
2016-12-05Refactor FnSig to contain a Slice for its inputs and outputs.Mark-Simulacrum-19/+10
2016-12-05Refactor ty::FnSig to privatize all fieldsMark-Simulacrum-6/+24
2016-12-02Auto merge of #38053 - eddyb:lazy-9, r=nikomatsakisbors-2/+2
2016-11-29rustc: simplify AdtDef by removing the field types and ty::ivar.Eduard-Mihai Burtescu-2/+2
2016-11-28Refactor TyTrait to contain a interned ExistentialPredicate slice.Mark-Simulacrum-55/+139
2016-11-28Remove BuiltinBound and BuiltinBounds.Mark-Simulacrum-69/+1
2016-11-28Refactor BuiltinBounds to Vec<DefId> on TraitObject.Mark-Simulacrum-13/+21