summary refs log tree commit diff
path: root/src/librustc/ich/impls_ty.rs
AgeCommit message (Expand)AuthorLines
2018-04-17Don't abort const eval due to long running evals, just warnOliver Schneider-1/+0
2018-04-17Stop referring to statics' AllocIds directlyOliver Schneider-2/+1
2018-04-17Don't recurse into allocations, use a global table insteadOliver Schneider-11/+13
2018-04-11[incremental] Hash `Allocation`sShotaro Yamada-1/+1
2018-03-30Auto merge of #49424 - oli-obk:stable_allocid_hash, r=michaelwoeristerbors-12/+18
2018-03-28Fix stable hashing of AllocIdsOliver Schneider-12/+18
2018-03-23Revert "introduce `UniverseIndex` into `ParamEnv`"Sean Griffin-10/+0
2018-03-19Auto merge of #49091 - nikomatsakis:issue-49043-ty-infer-hash, r=michaelwoeri...bors-2/+48
2018-03-18Auto merge of #48985 - scalexm:lowering, r=nikomatsakisbors-0/+83
2018-03-16extend stable hasher to support `CanonicalTy`Niko Matsakis-2/+48
2018-03-14Address niko's nitsscalexm-35/+35
2018-03-14Add MVP for chalkificationscalexm-0/+83
2018-03-14remove defaulting to unitAndrew Cann-2/+1
2018-03-13introduce `infcx.at(..).dropck_outlives(..)` operaton [VIC]Niko Matsakis-6/+0
2018-03-13add `canonicalize` method to `InferCtxt` [VIC]Niko Matsakis-2/+57
2018-03-08Regenerate testsOliver Schneider-2/+2
2018-03-08Const eval will oom together with rustc nowOliver Schneider-9/+0
2018-03-08Const eval error refactoringOliver Schneider-0/+1
2018-03-08Add stack traces to miri errorsOliver Schneider-3/+11
2018-03-08Remove unused error variants and const eval typesOliver Schneider-16/+0
2018-03-08Use Mutability enum instead of boolOliver Schneider-1/+6
2018-03-08Prefer enum instead of magic numbersOliver Schneider-3/+14
2018-03-08Wrap the miri ErrorKind in an Rc to reduce work in queriesOliver Schneider-2/+2
2018-03-08Hide the RefCell inside InterpretInternerOliver Schneider-6/+3
2018-03-08Add InterpretInterner to StableHashingContext for AllocId serializationOliver Schneider-81/+125
2018-03-08Prepare for using miri in transAlexander Regueiro-4/+4
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-43/+0
2018-03-08Add miri errors to the const eval error enumOliver Schneider-0/+170
2018-03-08Add a variant to ConstVal for storing miri resultsOliver Schneider-0/+24
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-4/+0
2018-03-01introduce `UniverseIndex` into `ParamEnv`Niko Matsakis-0/+10
2018-02-23Introduce UnpackedKindvarkor-2/+13
2018-02-08Add `AutoBorrowMutability`; its like `hir::Mutability` but w/ two-phase borr...Felix S. Klock II-0/+14
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-1/+4
2018-01-15[incremental] Cache ty::Slice<T> hashesWesley Wiser-2/+23
2017-12-15add a new RegionKind variant: ReClosureBoundNiko Matsakis-0/+3
2017-12-07mir-borrowck returns closure requirements, mir-typeck enforcesNiko Matsakis-0/+10
2017-11-25Conform namesShotaro Yamada-1/+1
2017-11-24Do match-check before const MIR generationShotaro Yamada-1/+2
2017-11-22Implement in-band lifetime bindingsTaylor Cramer-2/+7
2017-11-18make `ty::Predicate` carry a `ClosureSubsts`Niko Matsakis-1/+2
2017-11-03Finish DefaultImpl -> AutoImpl rename.leonardo.yvens-3/+3
2017-11-03[Syntax Breaking] Rename DefaultImpl to AutoImplleonardo.yvens-2/+2
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-2/+4
2017-10-23Remove dependency tracking for variance computationSimon Sapin-2/+0
2017-10-17Generate FirstStatementIndex using newtype_index macroSantiago Pastorino-1/+1
2017-10-12Auto merge of #45176 - michaelwoerister:fix-region-and-trans-item-order, r=ni...bors-0/+3
2017-10-10incr.comp.: Add missing match branch in HashStable impl for ty::RegionKind.Michael Woerister-0/+3
2017-10-08Turn `trans_fulfill_obligation` into a queryWesley Wiser-0/+126
2017-09-26impl Trait in argument position desugaring:Matthias Devlamynck-1/+2