summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2018-04-26Allow variant discriminant initializers to refer to other initializers of the...Oliver Schneider-17/+23
2018-04-20Use InternedString instead of Symbol for type parameters.Michael Woerister-1/+1
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-41/+11
2018-03-24Auto merge of #48482 - davidtwco:issue-47184, r=nikomatsakisbors-0/+12
2018-03-23Fix failures after rebaseSean Griffin-5/+4
2018-03-23Revert "introduce `UniverseIndex` into `ParamEnv`"Sean Griffin-21/+4
2018-03-23Revert "change skolemizations to use universe index"Sean Griffin-15/+3
2018-03-22UserAssertTy can handle inference variables.David Wood-0/+12
2018-03-22Auto merge of #49210 - oli-obk:pango_crash, r=eddybbors-18/+5
2018-03-22Fix the conversion between bit representations and i128 representationsOliver Schneider-18/+5
2018-03-21work around fallout from these changes in rustcNiko Matsakis-7/+14
2018-03-18Auto merge of #48985 - scalexm:lowering, r=nikomatsakisbors-3/+6
2018-03-14Address niko's nitsscalexm-3/+6
2018-03-14remove defaulting to unitAndrew Cann-1/+1
2018-03-13introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]Niko Matsakis-79/+1
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-2/+7
2018-03-13change `ParamEnv::and` to sometimes keep the environment [VIC]Niko Matsakis-21/+28
2018-03-13move ParamEnv methods from `ty/util` to `ty/mod`Niko Matsakis-1/+43
2018-03-13refactor `ParamEnv::empty(Reveal)` into two distinct methodsNiko Matsakis-2/+2
2018-03-08Address review commentsOliver Schneider-14/+3
2018-03-08Decide signdedness on the layout instead of the typeOliver Schneider-2/+16
2018-03-08Deduplicate some codeOliver Schneider-73/+67
2018-03-08Don't use the undefined bytes of PrimVal::BytesOliver Schneider-4/+28
2018-03-08Nuke ConstInt and Const*sizeOliver Schneider-30/+12
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-8/+8
2018-03-08Fully use miri in transOliver Schneider-4/+4
2018-03-08Prepare for using miri in transAlexander Regueiro-3/+13
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-7/+0
2018-03-08Produce instead of pointersOliver Schneider-0/+28
2018-03-07Rollup merge of #48698 - ishitatsuyuki:burn-equate, r=nikomatsakisAlex Crichton-20/+0
2018-03-06Compute symbol names more lazily.Michael Woerister-1/+15
2018-03-05Turn features() into a query.Michael Woerister-1/+1
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-20/+0
2018-03-02Replace Rc with Lrc for shared dataJohn Kåre Alsaker-8/+8
2018-03-01change skolemizations to use universe indexNiko Matsakis-3/+15
2018-03-01obtain `UnificationTable` and `snapshot_vec` from `ena` insteadNiko Matsakis-1/+4
2018-03-01introduce `UniverseIndex` into `ParamEnv`Niko Matsakis-4/+21
2018-03-01introduce `Universe` structNiko Matsakis-0/+62
2018-02-22impl_or_trait_obligations: deduplicate obligationsTatsuyuki Ishi-1/+1
2018-02-22Revert "Implement Ord as necessary"Tatsuyuki Ishi-29/+1
2018-01-29rustc: move `expr_is_lval` to rustc_typeck and rename to `is_place_expr`.Eduard-Mihai Burtescu-54/+0
2018-01-29rustc: remove `LvaluePreference` argument from `Ty::builtin_deref`.Eduard-Mihai Burtescu-16/+0
2018-01-25Merge branch 'cache-ty-collect' of https://github.com/michaelwoerister/rust i...Alex Crichton-5/+3
2018-01-25Rollup merge of #47656 - ishitatsuyuki:patch-1, r=nikomatsakisAlex Crichton-1/+29
2018-01-25Rollup merge of #47415 - varkor:cgu-partition-heuristic, r=michaelwoeristerAlex Crichton-0/+15
2018-01-23Make ty::Generics::type_param_to_index use DefId instead of DefIndex as key.Michael Woerister-5/+3
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-1/+6
2018-01-23Implement Ord as necessaryTatsuyuki Ishi-1/+29
2018-01-22Auto merge of #47373 - wesleywiser:incr_cache_hashing, r=michaelwoeristerbors-11/+28
2018-01-19Estimate size of InstanceDef::DropGlue more accuratelyvarkor-3/+4