summary refs log tree commit diff
path: root/src/librustc/ty/sty.rs
AgeCommit message (Expand)AuthorLines
2018-11-29Add inline attributes and add unit to CommonTypesJohn Kåre Alsaker-0/+8
2018-11-26rustc-guide has movedMark Mansi-1/+1
2018-11-24Move `BoundTy` debruijn index to the `TyKind` enum variantscalexm-7/+5
2018-11-24Rename some occurences of `skol` to `placeholder`scalexm-1/+1
2018-11-24Introduce `TyKind::Placeholder` variantscalexm-0/+5
2018-11-24Distinguish between placeholder kindsscalexm-1/+1
2018-11-13Move two `static_assert!`s to better spots.Nicholas Nethercote-0/+4
2018-11-11Rollup merge of #55745 - nnethercote:outlives_components-SmallVec, r=matthewj...Pietro Albini-14/+12
2018-11-08Use `SmallVec` outparams in several functions.Nicholas Nethercote-14/+12
2018-11-07Added error for duplicate bindings of associated type.Alexander Regueiro-9/+9
2018-11-03Auto merge of #55101 - alexreg:trait-aliases, r=nikomatsakisbors-1/+1
2018-11-03Rename `as_bound_var` to `assert_bound_var`scalexm-1/+1
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-7/+7
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-14/+16
2018-11-03Rename `BoundTy` field `level` -> `index`scalexm-4/+4
2018-11-03Rename `BoundTyIndex` to `BoundVar`scalexm-4/+4
2018-11-03Shift both late bound regions and bound typesscalexm-6/+5
2018-11-03Move `BoundTy` to `ty::TyKind`scalexm-5/+25
2018-11-03Fixed unsoundness hole.Alexander Regueiro-1/+1
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