summary refs log tree commit diff
path: root/src/librustc/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2018-10-25Rollup merge of #55282 - sinkuu:redundant_clone, r=estebankPietro Albini-1/+1
2018-10-23Remove redundant cloneShotaro Yamada-1/+1
2018-10-22add a table to track user-provided signaturesNiko Matsakis-1/+4
2018-10-20Rename InferTy::CanonicalTy to BoundTy and add DebruijnIndex to variant typeFabian Drinck-3/+11
2018-10-20Rename CanonicalVar to BoundTyIndexFabian Drinck-3/+3
2018-10-13Check the invariant for `principal` inside the methodOliver Scherer-9/+7
2018-10-06Auto merge of #54859 - pietroalbini:rollup, r=pietroalbinibors-1/+16
2018-10-05Rollup merge of #54781 - phansch:master, r=varkorPietro Albini-1/+16
2018-10-05Auto merge of #54743 - ljedrz:cleanup_ty_p2, r=zackmdavisbors-13/+5
2018-10-05Auto merge of #54703 - davidtwco:issue-52086, r=nikomatsakisbors-0/+16
2018-10-04Further improve docs for `FnDef` and `FnPtr`Philipp Hansch-8/+6
2018-10-04remove occurences of `skolemization`Niko Matsakis-3/+2
2018-10-04remove all occurences of `skolemize`Niko Matsakis-1/+1
2018-10-04extend NLL universe code to have >1 placeholder within one universeNiko Matsakis-2/+2
2018-10-04rename skolemized to placeholderNiko Matsakis-16/+16
2018-10-03Introduce `TyKind::UnnormalizedProjection`scalexm-1/+8
2018-10-03Add examples to `TyKind::FnDef` and `TyKind::FnPtr` docsPhilipp Hansch-0/+17
2018-10-03rustc/ty: simplify some patternsljedrz-13/+5
2018-10-01Introduce language items for `Arc` and `Rc`.David Wood-0/+16
2018-09-29don't elide lifetimes in paths in librustc/Zack M. Davis-5/+5
2018-09-25Lower `impl Trait` types in locals.Alexander Regueiro-4/+4
2018-09-23Correctly handle named lifetimes.David Wood-0/+17
2018-09-11renamed is_nil to is_unitkenta7777-1/+1
2018-09-11Revert "renamed is_nil to is_unit"kenta7777-1/+1
2018-09-10renamed is_nil to is_unitkenta7777-1/+1
2018-09-08Auto merge of #53705 - ms2300:tmp, r=oli-obkbors-5/+5
2018-09-07remove use of `from_u32_unchecked`Niko Matsakis-6/+2
2018-09-07switch to using `NonZeroU32` to represent indicesNiko Matsakis-2/+2
2018-09-07remove all references to `private` from outside the macroNiko Matsakis-3/+7
2018-09-07change from tuple struct to brace structNiko Matsakis-4/+4
2018-09-07make field always private, add `From` implsNiko Matsakis-13/+0
2018-09-07change syntax of `newtype_index` to look like a struct declNiko Matsakis-7/+11
2018-09-05Changing TyAnon -> TyOpaque and relevant functionsms2300-5/+5
2018-08-22Remove Ty prefix from Ty{Bool|Char|Int|Uint|Float|Str}varkor-28/+28
2018-08-22Remove Ty prefix from Ty{Foreign|Param}varkor-11/+11
2018-08-22Remove Ty prefix from Ty{Adt|Array|Slice|RawPtr|Ref|FnDef|FnPtr|Dynamic|Closu...varkor-92/+92
2018-08-22Rename ty::TyVariants to ty::TyKindvarkor-3/+3
2018-08-22Rename ty::Slice to ty::Listvarkor-9/+9
2018-08-22miri/CTFE refactorRalf Jung-9/+4
2018-08-19Auto merge of #53248 - nikomatsakis:nll-trivial-sized-predicate, r=eddybbors-0/+35
2018-08-10skip trivial `T: Sized` predicatesNiko Matsakis-0/+35
2018-08-10Consider changing assert! to debug_assert! when it calls visit_withljedrz-3/+3
2018-08-01Reintroduce `Undef` and properly check constant value sizesOliver Schneider-17/+3
2018-07-18Implement existential typesOliver Schneider-2/+4
2018-07-14Remove `ty_to_def_id`Oliver Schneider-11/+0
2018-07-02use `ty::TraitRef::identity` where possibleNiko Matsakis-0/+9
2018-06-28Rollup merge of #51636 - oli-obk:const_diagnostics, r=eddybMark Rousskov-35/+11
2018-06-28Merge `ConstVal` and `ConstValue`Oliver Schneider-35/+11
2018-06-28Move everything over from `middle::const_val` to `mir::interpret`Oliver Schneider-1/+1
2018-06-28Use `Ident`s for associated item definitions in HIRVadim Petrochenkov-1/+1