summary refs log tree commit diff
path: root/src/librustc/ty/mod.rs
AgeCommit message (Expand)AuthorLines
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-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-19Prefer `Default::default` over `FxHash*::default` in struct constructorsOliver Scherer-2/+1
2018-10-19Deprecate the `FxHashMap()` and `FxHashSet()` constructor function hackOliver Scherer-1/+1
2018-10-17Auto merge of #54671 - petrochenkov:extpre2015, r=nikomatsakisbors-1/+2
2018-10-15remove the sub/super terminology for universesNiko Matsakis-18/+22
2018-10-15convert `UniverseIndex` into a `newtype_index!`Niko Matsakis-38/+7
2018-10-15make `UniverseIndex` hashable, rename "sub-" to "superuniverse"Niko Matsakis-15/+17
2018-10-13Copy extern prelude from resolver to global contextVadim Petrochenkov-1/+2
2018-10-05Auto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavisbors-25/+21
2018-10-05Auto merge of #54703 - davidtwco:issue-52086, r=nikomatsakisbors-1/+21
2018-10-04remove occurences of `skolemization`Niko Matsakis-12/+11
2018-10-04extend NLL universe code to have >1 placeholder within one universeNiko Matsakis-0/+12
2018-10-04rename skolemized to placeholderNiko Matsakis-2/+2
2018-10-04Rollup merge of #54789 - scalexm:unnormalized, r=nikomatsakisPietro Albini-0/+2
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-0/+2
2018-10-03Only promote calls to `#[rustc_promotable]` const fnsOliver Schneider-0/+2
2018-10-03rustc/ty: mark a comment as FIXMEljedrz-1/+1
2018-10-03rustc/ty: simplify some patternsljedrz-13/+11
2018-10-03rustc/ty: whitespace fixesljedrz-11/+9
2018-10-01Introduce language items for `Arc` and `Rc`.David Wood-1/+21
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-12/+12
2018-09-28rustc: keep a Span for each predicate in ty::GenericPredicates.Eduard-Mihai Burtescu-6/+8
2018-09-25Auto merge of #53693 - scottmcm:marker-trait-attribute, r=nikomatsakisbors-15/+24
2018-09-22avoid loading constructor attributes in AdtDef decodingAriel Ben-Yehuda-4/+14
2018-09-19Require that marker impls are empty, but allow them to overlapScott McMurray-15/+24
2018-09-18Auto merge of #53900 - davidtwco:issue-53771, r=nikomatsakisbors-1/+1
2018-09-13Moved helper functions from NiceRegionError to TyCtxt.David Wood-1/+1
2018-09-13introduce SelfCtorF001-1/+2
2018-09-08Auto merge of #53705 - ms2300:tmp, r=oli-obkbors-2/+2
2018-09-06Auto merge of #53721 - arielb1:exhaustively-unpun, r=nikomatsakisbors-11/+66
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-2/+2
2018-09-01move the is_field_list_non_exhaustive flag to VariantDefAriel Ben-Yehuda-44/+66
2018-08-27Rename hir::map::NodeKind to hir::Nodevarkor-4/+4
2018-08-27Remove path prefixes from NodeKindvarkor-3/+4
2018-08-27Rename hir::map::Node to hir::map::NodeKindvarkor-3/+3
2018-08-26fix `is_non_exhaustive` confusion between structs and enumsAriel Ben-Yehuda-1/+34
2018-08-23Use optimized SmallVec implementationIgor Gutorov-2/+2
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-7/+7
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-24/+24
2018-08-22Rename ty::TyVariants to ty::TyKindvarkor-20/+20
2018-08-22Rename ty::Slice to ty::Listvarkor-30/+31
2018-08-21Auto merge of #53530 - kennytm:rollup, r=kennytmbors-1/+1
2018-08-19Refactor generic argument count check in astconvvarkor-1/+1