summary refs log tree commit diff
path: root/src/librustc/ty/structural_impls.rs
AgeCommit message (Expand)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
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
2018-03-23Revert "introduce `UniverseIndex` into `ParamEnv`"Sean Griffin-24/+2
2018-03-17Replace Rc with LrcJohn Kåre Alsaker-1/+2
2018-03-14remove defaulting to unitAndrew Cann-2/+2
2018-03-13improve TypeFoldable/Lift macros and make a bunch of stuff use themNiko Matsakis-414/+127
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
2018-03-01introduce `UniverseIndex` into `ParamEnv`Niko Matsakis-2/+24
2018-01-23Adds support for immovable generators. Move checking of invalid borrows acros...John Kåre Alsaker-2/+7
2017-11-26Auto merge of #46203 - nikomatsakis:type-foldable-macro, r=eddybbors-156/+203
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