summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
2018-12-31Fixed minor issues raised in review.Alexander Regueiro-8/+8
2018-12-31Fixed issue #56199.Alexander Regueiro-32/+52
2018-11-29Add inline attributes and add unit to CommonTypesJohn Kåre Alsaker-0/+5
2018-11-24Add `HAS_TY_PLACEHOLDER` flagscalexm-1/+4
2018-11-24Rename some occurences of `skol` to `placeholder`scalexm-3/+3
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+1
2018-11-24Distinguish between placeholder kindsscalexm-3/+18
2018-11-21rustc: implement and use Default on more types.Eduard-Mihai Burtescu-1/+1
2018-11-19Rollup merge of #55953 - blitzerr:master, r=nikomatsakisPietro Albini-1/+6
2018-11-19Rollup merge of #55949 - ljedrz:return_impl_Iterator_from_Predicate_walk_tys,...Pietro Albini-20/+58
2018-11-18Rollup merge of #55834 - ogoffart:union-abi, r=eddybPietro Albini-0/+6
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-1/+1
2018-11-15Rollup merge of #55778 - nnethercote:LrcPreds, r=eddybPietro Albini-3/+3
2018-11-15ty: return impl Iterator from Predicate::walk_tysljedrz-20/+58
2018-11-14capture_disjoint_fields(rust-lang#53488)Blitzerr-1/+6
2018-11-14Wrap some query results in `Lrc`.Nicholas Nethercote-3/+3
2018-11-13Auto merge of #55912 - kennytm:rollup, r=kennytmbors-0/+4
2018-11-13fix various typos in doc commentsAndy Russell-1/+1
2018-11-13Rollup merge of #55805 - nnethercote:mv-static_assert, r=Mark-Simulacrumkennytm-0/+4
2018-11-13Forward the ABI of the non-zero sized fields of an union if they have the sam...Olivier Goffart-0/+6
2018-11-13Move two `static_assert!`s to better spots.Nicholas Nethercote-0/+4
2018-11-12Use type safe `VariantIdx` instead of `usize` everywhereOliver Scherer-3/+4
2018-11-12Use IndexVec instead of `usize` in librustcOliver Scherer-15/+15
2018-11-12Shrink some internal enumsOliver Scherer-0/+1
2018-11-12Avoid the Box in `TyCtxt::associated_items`.Niko Matsakis-4/+27
2018-11-07Only do check for trait objects, not trait or trait alias definitions.Alexander Regueiro-2/+3
2018-11-07Added error for duplicate bindings of associated type.Alexander Regueiro-23/+23
2018-11-07Added tests.Alexander Regueiro-2/+2
2018-11-07Look at projections from supertraits when constructing trait objects.Alexander Regueiro-23/+24
2018-11-03Auto merge of #55101 - alexreg:trait-aliases, r=nikomatsakisbors-12/+24
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-6/+1
2018-11-03Rename `BoundTyIndex` to `BoundVar`scalexm-1/+1
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-1/+2
2018-11-03Extended elaboration for trait aliases to include arbitrary bounds.Alexander Regueiro-6/+6
2018-11-03Added support for trait aliases as bounds.Alexander Regueiro-6/+18
2018-11-02Auto merge of #55305 - nikomatsakis:universes-refactor-3, r=scalexmbors-1/+10
2018-10-31fix bug in NLL error reportingNiko Matsakis-1/+8
2018-10-27Auto merge of #54183 - qnighy:by-value-object-safety, r=oli-obkbors-0/+1
2018-10-27extend query response to potentially contain fresh universesNiko Matsakis-0/+2
2018-10-26Auto merge of #54929 - csmoe:cfg_lint, r=petrochenkovbors-1/+1
2018-10-25Report const eval error inside the queryOliver Schneider-6/+6
2018-10-25Auto merge of #55323 - nikomatsakis:nll-ICE-55219-and-55241, r=pnkfelixbors-1/+1
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-1/+1
2018-10-24Add InstanceDef::VtableShim.Masaki Hara-0/+1
2018-10-24Minor doc improvementsVadim Petrochenkov-1/+3
2018-10-24Add `extern crate` items to extern preludeVadim Petrochenkov-2/+2
2018-10-22add a table to track user-provided signaturesNiko Matsakis-1/+1
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-20handle errors based on parse_sesscsmoe-1/+1