summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2018-05-02change skolemizations to use universe indexSean Griffin-3/+17
2018-05-02introduce `UniverseIndex` into `InferCtxt`Sean Griffin-3/+1
2018-04-30make needs_infer specific to inference variablesNiko Matsakis-1/+5
2018-04-27Auto merge of #50102 - Zoxc:query-nomacro, r=michaelwoeristerbors-1/+1
2018-04-27Move query functions out from the define_maps! macroJohn Kåre Alsaker-1/+1
2018-04-27Rename InternedString to LocalInternedString and introduce a new thread-safe ...John Kåre Alsaker-8/+6
2018-04-26Auto merge of #50072 - oli-obk:discriminants, r=eddybbors-17/+23
2018-04-26Allow variant discriminant initializers to refer to other initializers of the...Oliver Schneider-17/+23
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-27/+32
2018-04-23first draft of `program_clauses_for_env`Niko Matsakis-0/+5
2018-04-14Rollup merge of #49913 - varkor:RegionParameterDef-InternedString, r=petroche...kennytm-1/+1
2018-04-13Use InternedString rather than Name for RegionParameterDefvarkor-1/+1
2018-04-13Auto merge of #49718 - petrochenkov:fieldcmp, r=eddybbors-27/+12
2018-04-12Avoid comparing fields by name when possibleVadim Petrochenkov-27/+12
2018-04-12Implement inferring outlives requirements for references, structs, enum, unio...toidiu-0/+16
2018-04-11Implementation of `#[repr(packed(n))]` RFC 1399.Cameron Hart-8/+22
2018-04-11Auto merge of #49695 - michaelwoerister:unhygienic-ty-min, r=nikomatsakisbors-1/+1
2018-04-06Use `Span` instead of `SyntaxContext` in `Ident`Vadim Petrochenkov-3/+3
2018-04-06Use 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