summary refs log tree commit diff
path: root/src/librustc_middle/traits/structural_impls.rs
AgeCommit message (Collapse)AuthorLines
2020-05-21Auto merge of #70705 - lcnr:generic_discriminant, r=nikomatsakisbors-0/+5
Use `T`'s discriminant type in `mem::Discriminant<T>` instead of `u64`. fixes #70509 Adds the lang-item `discriminant_kind`. Updates the function signature of `intrinsics::discriminant_value`. Adds the *probably permanently unstable* trait `DiscriminantKind`. `mem::Discriminant` should now be smaller in some cases. r? @ghost
2020-05-19auto impl`DiscriminantKind` for every typeBastian Kauschke-0/+5
2020-05-18HIR passes for asm!Amanieu d'Antras-0/+1
2020-05-02Point at associated types when they have a default typeEsteban Küber-0/+1
Associated types with a default type in a trait can't be relied upon to remain of that default type when in use, so literals of that type can't be used in the trait's items. Point at the associated type and state that information. Reduce verbosity for associated consts of the wrong type.
2020-05-01Remove leftover chalk typesJack Huey-354/+1
2020-04-18Do not emit note for projected derived obligationsEsteban Küber-0/+1
2020-04-18Remove `AssocTypeBound` and propagate bound `Span`sEsteban Küber-1/+0
2020-03-30rustc -> rustc_middle part 1Mazdak Farrokhzad-0/+654