summary refs log tree commit diff
path: root/src/librustc/ich/impls_ty.rs
AgeCommit message (Expand)AuthorLines
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-1/+1
2018-10-20Rename CanonicalVar to BoundTyIndexFabian Drinck-1/+1
2018-10-20Auto merge of #55114 - oli-obk:fx#map, r=nikomatsakisbors-1/+1
2018-10-19Auto merge of #55162 - nikomatsakis:issue-54902-underscore-bound, r=tmandrybors-2/+3
2018-10-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-1/+1
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-17move E0637 to lowering and improve output, add more testsNiko Matsakis-2/+3
2018-10-17Re-use memory in `program_clauses_for_env`scalexm-3/+0
2018-10-17Categorize chalk clausesscalexm-1/+7
2018-10-17Use `Environment` instead of `ty::ParamEnv` in chalk contextscalexm-0/+8
2018-10-15introduce a more expressive `UserSubsts`Niko Matsakis-0/+5
2018-10-15rename `QueryResult` to `QueryResponse`Niko Matsakis-1/+1
2018-10-10Rollup merge of #54909 - scalexm:finish-rules, r=nikomatsakisManish Goregaokar-1/+1
2018-10-10miri engine: basic support for pointer provenance trackingRalf Jung-23/+33
2018-10-09miri engine: also check return type before calling functionRalf Jung-0/+4
2018-10-08Pass around interned refs to goals and not goalsscalexm-1/+1
2018-10-04rename skolemized to placeholderNiko Matsakis-1/+1
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-2/+2
2018-09-30move ScalarMaybeUndef into the miri engineRalf Jung-5/+0
2018-09-19Add an is_marker flag to TraitDefScott McMurray-0/+1
2018-09-11Simplify Scope/ScopeData to have less chance of introducing UB or size increasesOliver Schneider-6/+9
2018-09-08Auto merge of #53903 - GabrielMajeri:opt-miri-array-slice, r=oli-obkbors-1/+1
2018-09-08Auto merge of #53705 - ms2300:tmp, r=oli-obkbors-1/+1
2018-09-08Optimize miri checking of integer array/slicesGabriel Majeri-1/+1
2018-09-07make field always private, add `From` implsNiko Matsakis-3/+0
2018-09-06Auto merge of #52626 - brunocodutra:issue-52475, r=oli-obkbors-1/+1
2018-09-06Auto merge of #53721 - arielb1:exhaustively-unpun, r=nikomatsakisbors-7/+7
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-1/+1
2018-09-03Implement Hash in terms of HashStable for EvalSnapshotBruno Dutra-1/+1
2018-09-01move the is_field_list_non_exhaustive flag to VariantDefAriel Ben-Yehuda-7/+7
2018-08-29re-do argument passing one more time to finally be saneRalf Jung-1/+6
2018-08-28address nitsRalf Jung-1/+1
2018-08-27Miri Memory WorkRalf Jung-2/+3
2018-08-24Rollup merge of #53545 - FelixMcFelix:fix-50865-beta, r=petrochenkovkennytm-0/+1
2018-08-22Auto merge of #52011 - oli-obk:dont_you_hate_it_too_when_everything_panics_co...bors-1/+6
2018-08-22Allow panicking with string literal messages inside constantsOliver Schneider-1/+6
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-6/+6
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-2/+2
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-17/+17
2018-08-22Rename ty::TyVariants to ty::TyKindvarkor-5/+5
2018-08-22Rename ty::Slice to ty::Listvarkor-2/+2
2018-08-22miri/CTFE refactorRalf Jung-6/+0
2018-08-21New AccessLevel and accompanying propagation.Kyle Simpson-0/+1
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-2/+7
2018-07-18Implement existential typesOliver Schneider-0/+1
2018-07-04Add an `InfiniteLoop` variant to `EvalErrorKind`Dylan MacKenzie-1/+2
2018-06-30Added miri error for evaluating foreign statics.Alexander Regueiro-0/+1
2018-06-28Rollup merge of #51636 - oli-obk:const_diagnostics, r=eddybMark Rousskov-45/+8
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-19/+2
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-4/+4