summary refs log tree commit diff
path: root/src/librustc/ty/structural_impls.rs
AgeCommit message (Collapse)AuthorLines
2018-07-21Convert implied_outlives_bounds to a queryTyler Mandry-0/+1
2018-07-04Add an `InfiniteLoop` variant to `EvalErrorKind`Dylan MacKenzie-0/+1
2018-06-30Added miri error for evaluating foreign statics.Alexander Regueiro-0/+1
Updated tests accordingly.
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-7/+11
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-06-28Move the Lrc outside the error type and name the fieldsOliver Schneider-4/+4
2018-06-28Address review commentsOliver Schneider-1/+1
2018-06-28Eliminate old CTFE's `ErrKind`Oliver Schneider-17/+5
2018-06-05Remove another unused error variantOliver Schneider-1/+0
2018-06-05Remove unused IndexOutOfBounds variantOliver Schneider-2/+0
2018-06-05Properly report transitive errorsOliver Schneider-7/+2
2018-05-08Insert fields from TypeAndMut into TyRef to allow layout optimizationJohn Kåre Alsaker-3/+3
2018-05-08Store the GeneratorInterior in the new GeneratorSubstsJohn Kåre Alsaker-11/+10
2018-05-08Store generator movability outside GeneratorInteriorJohn Kåre Alsaker-5/+9
2018-04-30Unify MIR assert messages and const eval errorsOliver Schneider-6/+17
2018-04-30Merge ConstMathError into EvalErrorKindOliver Schneider-2/+4
2018-04-30Remove unused const error variantOliver Schneider-1/+0
2018-04-26rustc_target: move in syntax::abi and flip dependency.Irina Popa-1/+1
2018-04-24Make Binder's field private and clean up its usageTyler Mandry-3/+3
2018-04-13Don't abort const eval due to long running evals, just warnOliver Schneider-1/+0
2018-03-29Auto merge of #49313 - sgrif:sg-revert-stuff, r=nikomatsakisbors-24/+2
Remove universes from `ty::ParamEnv` This change was never meant to land. #48407 takes an alternate approach. However, that PR is now blocked on some issues with canonicalization, and rebasing these reverts gets harder each time, so let's just get this bit out of the way now. r? @nikomatsakis
2018-03-23Revert "introduce `UniverseIndex` into `ParamEnv`"Sean Griffin-24/+2
This reverts commit d4df52cacbee5d95e912a43188192a5054d36b4f.
2018-03-17Replace Rc with LrcJohn Kåre Alsaker-1/+2
2018-03-14remove defaulting to unitAndrew Cann-2/+2
Types will no longer default to `()`, instead always defaulting to `!`. This disables the associated warning and removes the flag from TyTuple
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-414/+127
Improvements: - Use Clone not Copy for the "simple cases" - Separate TypeFoldable and Lift for the "simple cases" - Support generics type parameters - Support named fields in enum variants - etc
2018-03-08Const eval will oom together with rustc nowOliver Schneider-5/+0
2018-03-08Const eval error refactoringOliver Schneider-0/+1
2018-03-08Add stack traces to miri errorsOliver Schneider-5/+5
2018-03-08Remove unused error variants and const eval typesOliver Schneider-12/+0
2018-03-08Wrap the miri ErrorKind in an Rc to reduce work in queriesOliver Schneider-2/+2
2018-03-08Prepare for using miri in transAlexander Regueiro-1/+51
2018-03-08Nuke the entire ctfe from orbit, it's the only way to be sureOliver Schneider-67/+2
2018-03-08Produce instead of pointersOliver Schneider-0/+55
2018-03-08Add miri errors to the const eval error enumOliver Schneider-0/+112
2018-03-08Add a variant to ConstVal for storing miri resultsOliver Schneider-0/+2
2018-03-04Remove ty::Predicate::Equate and ty::EquatePredicate (dead code)Tatsuyuki Ishi-24/+0
2018-03-01kill supporting code from type-variable defaultsNiko Matsakis-28/+1
This was all unused anyway.
2018-03-01introduce `UniverseIndex` into `ParamEnv`Niko Matsakis-2/+24
Always using root environment for now.
2018-01-23Adds support for immovable generators. Move checking of invalid borrows ↵John Kåre Alsaker-2/+7
across suspension points to borrowck. Fixes #44197, #45259 and #45093.
2017-11-26Auto merge of #46203 - nikomatsakis:type-foldable-macro, r=eddybbors-156/+203
introduce macros for type-foldable and lift, convert stuff to use them A random commit from a branch I've shelved for the time being that made `TypeFoldable` stuff a bit less annoying to write. r? @eddyb
2017-11-25Conform namesShotaro Yamada-1/+1
2017-11-24Do match-check before const MIR generationShotaro Yamada-0/+1
2017-11-23introduce macros for type-foldable, convert stuff to use themNiko Matsakis-156/+203
2017-11-18give better error messages when a cycle arisesNiko Matsakis-3/+3
2017-11-18make `ty::Predicate` carry a `ClosureSubsts`Niko Matsakis-5/+9
2017-11-17make LUB/GLB of higher-ranked things actually do EQNiko Matsakis-1/+4
2017-10-27Implement RFC 1861: Extern typesPaul Lietar-2/+2
2017-09-11rustc: evaluate fixed-length array length expressions lazily.Eduard-Mihai Burtescu-1/+119
2017-09-11rustc: use ty::Const for the length of TyArray.Eduard-Mihai Burtescu-2/+2
2017-09-11rustc: introduce ty::Const { ConstVal, Ty }.Eduard-Mihai Burtescu-0/+93