summary refs log tree commit diff
path: root/src/librustc/ich/impls_ty.rs
AgeCommit message (Expand)AuthorLines
2018-04-30Unify MIR assert messages and const eval errorsOliver Schneider-6/+7
2018-04-30Merge ConstMathError into EvalErrorKindOliver Schneider-25/+17
2018-04-30Remove the `rustc_const_math` crateOliver Schneider-0/+17
2018-04-30Remove unused const error variantOliver Schneider-3/+0
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-2/+1
2018-04-23add `Goal::CannotProve` and extract `ProgramClause` structNiko Matsakis-0/+1
2018-04-23create a `QueryRegionConstraint` typeNiko Matsakis-4/+0
2018-04-17Auto merge of #49626 - fanzier:chalk-lowering, r=scalexmbors-0/+1
2018-04-15Implement Chalk lowering rule Normalize-From-ImplFabian Zaiser-0/+1
2018-04-15Auto merge of #49947 - oli-obk:turing_complete_const_eval, r=nagisabors-1/+0
2018-04-14Stop referring to statics' AllocIds directlyOliver Schneider-2/+1
2018-04-14Don't recurse into allocations, use a global table insteadOliver Schneider-11/+13
2018-04-13Don't abort const eval due to long running evals, just warnOliver Schneider-1/+0
2018-04-12Implement inferring outlives requirements for references, structs, enum, unio...toidiu-0/+14
2018-04-07[incremental] Hash `Allocation`sShotaro Yamada-1/+1
2018-04-06Allow for re-using monomorphizations from upstream crates.Michael Woerister-2/+15
2018-04-06Fix incomplete ICH implementation for ty::subst::UnpackedKind.Michael Woerister-0/+1
2018-04-05Rollup merge of #49497 - scalexm:hrtb, r=nikomatsakisAlex Crichton-5/+7
2018-04-03Auto merge of #49348 - bobtwinkles:extend_2pb, r=nikomatsakisbors-0/+4
2018-03-30Auto merge of #49424 - oli-obk:stable_allocid_hash, r=michaelwoeristerbors-12/+18
2018-03-30Tweak `Clause` definition and HRTBsscalexm-5/+7
2018-03-28Fix stable hashing of AllocIdsOliver Schneider-12/+18
2018-03-28Push AllowTwoPhase down to the HAIR levelbobtwinkles-0/+4
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