summary refs log tree commit diff
path: root/src/librustc/ty/structural_impls.rs
AgeCommit message (Expand)AuthorLines
2019-02-24Rollup merge of #58511 - oli-obk:const_to_op, r=RalfJungMazdak Farrokhzad-2/+2
2019-02-21restore the actual leak-checkNiko Matsakis-0/+8
2019-02-16Reuse the `Pointer` type instead of passing reassembling it at many use sitesOliver Scherer-2/+2
2019-02-09Auto merge of #58207 - nnethercote:intern_lazy_const, r=oli-obkbors-1/+1
2019-02-06Make `intern_lazy_const` actually intern its argument.Nicholas Nethercote-1/+1
2019-02-05move librustc to 2018Mark Mansi-27/+27
2019-01-27`ConstValue::ScalarPair` only needs to represent slicesOliver Scherer-1/+1
2019-01-04Auto merge of #56723 - oli-obk:lazy_const, r=nikomatsakisbors-21/+48
2019-01-02improve handling for subtypeNiko Matsakis-8/+2
2019-01-01`<&'tcx ty::Const as Deref>::deref`Oliver Scherer-4/+33
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-20/+18
2018-12-27Add a def-id in `ty::ParamEnv`scalexm-1/+2
2018-12-25Remove licensesMark Rousskov-10/+0
2018-11-30Improve the diagnostic messageOliver Scherer-0/+1
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+2
2018-11-12Use IndexVec instead of `usize` in librustcOliver Scherer-1/+1
2018-11-12Shrink some internal enumsOliver Scherer-0/+1
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-6/+26
2018-11-02Auto merge of #55305 - nikomatsakis:universes-refactor-3, r=scalexmbors-2/+0
2018-10-31kill old-style-lub warningsNiko Matsakis-2/+0
2018-10-27Auto merge of #54183 - qnighy:by-value-object-safety, r=oli-obkbors-1/+4
2018-10-26Further foundational stuff on `ProjectionKind` before I add it to `AscribeUse...Felix S. Klock II-0/+12
2018-10-25Report const eval error inside the queryOliver Schneider-159/+1
2018-10-24Add InstanceDef::VtableShim.Masaki Hara-1/+4
2018-10-15make `UniverseIndex` hashable, rename "sub-" to "superuniverse"Niko Matsakis-0/+1
2018-10-09miri engine: also check return type before calling functionRalf Jung-0/+4
2018-10-05Auto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavisbors-20/+13
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-1/+6
2018-10-03rustc/ty: simplify some patternsljedrz-13/+7
2018-10-03rustc/ty: whitespace fixesljedrz-7/+6
2018-09-24Shrink StatementKind::InlineAsm.Nicholas Nethercote-0/+10
2018-09-10generalize `AscribeUserType` to handle sub or super typeNiko Matsakis-0/+1
2018-09-08Auto merge of #53903 - GabrielMajeri:opt-miri-array-slice, r=oli-obkbors-1/+1
2018-09-08Optimize miri checking of integer array/slicesGabriel Majeri-1/+1
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-2/+2
2018-08-29re-do argument passing one more time to finally be saneRalf Jung-1/+3
2018-08-29Auto merge of #53659 - nnethercote:rm-AccumulateVec, r=Mark-Simulacrumbors-4/+4
2018-08-29Remove `AccumulateVec` and its uses.Nicholas Nethercote-4/+4
2018-08-28address nitsRalf Jung-1/+1
2018-08-27Miri Memory WorkRalf Jung-2/+2
2018-08-22Auto merge of #52011 - oli-obk:dont_you_hate_it_too_when_everything_panics_co...bors-1/+5
2018-08-22Allow panicking with string literal messages inside constantsOliver Schneider-1/+5
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-4/+4
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-36/+36
2018-08-22Rename ty::Slice to ty::Listvarkor-3/+3
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