summary refs log tree commit diff
path: root/src/librustc/ich/impls_ty.rs
AgeCommit message (Expand)AuthorLines
2018-11-26Auto merge of #56070 - oli-obk:const_let, r=eddybbors-0/+1
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-1/+2
2018-11-24Handle placeholder types in canonicalizationscalexm-1/+2
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+3
2018-11-19Make const_eval_raw query return just an AllocIdRalf Jung-0/+4
2018-11-19Also catch static mutation at evaluation timeOliver Scherer-0/+1
2018-11-19Rollup merge of #55970 - RalfJung:miri-backtrace, r=@oli-obkPietro Albini-3/+3
2018-11-19Rollup merge of #55953 - blitzerr:master, r=nikomatsakisPietro Albini-1/+3
2018-11-15do not accept out-of-bounds pointers in enum discriminants, they might be NULLRalf Jung-1/+6
2018-11-15rename FrameInfo span field to call_siteRalf Jung-1/+1
2018-11-14capture_disjoint_fields(rust-lang#53488)Blitzerr-1/+3
2018-11-14miri: backtraces with instancesRalf Jung-2/+2
2018-11-06impl_stable_hash_for: support enums and tuple structs with generic parametersRalf Jung-301/+125
2018-11-03Auto merge of #55101 - alexreg:trait-aliases, r=nikomatsakisbors-0/+17
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-3/+0
2018-11-03Rename `BoundTyIndex` to `BoundVar`scalexm-1/+1
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-1/+3
2018-11-03Added support for trait aliases as bounds.Alexander Regueiro-0/+17
2018-11-02Auto merge of #55305 - nikomatsakis:universes-refactor-3, r=scalexmbors-2/+3
2018-10-28remove some unused CTFE error variantsRalf Jung-42/+0
2018-10-27Auto merge of #54183 - qnighy:by-value-object-safety, r=oli-obkbors-0/+3
2018-10-27extend query response to potentially contain fresh universesNiko Matsakis-0/+1
2018-10-27allow canonicalized regions to carry universe and track max-universeNiko Matsakis-2/+2
2018-10-25Report const eval error inside the queryOliver Schneider-8/+4
2018-10-24Add InstanceDef::VtableShim.Masaki Hara-0/+3
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