about summary refs log tree commit diff
path: root/src/librustc_middle/traits/structural_impls.rs
AgeCommit message (Collapse)AuthorLines
2020-08-30mv compiler to compiler/mark-111/+0
2020-08-02Use Lift derive proc-macro in librustc_traits.Camille GILLOT-220/+3
2020-07-22Use `ty::Instance::resolve` to identify `'static` bound sourceEsteban Küber-1/+14
2020-07-22Increase accuracy of lifetime bound on trait object impl suggestionEsteban Küber-0/+1
2020-07-14Suggest boxing or borrowing unsized fieldsEsteban Küber-1/+3
2020-07-14Suggest borrowing unsized argument typesEsteban Küber-1/+1
2020-06-16Auto merge of #72962 - lcnr:ObligationCause-lrc, r=ecstatic-morsebors-5/+1
store `ObligationCause` on the heap Stores `ObligationCause` on the heap using an `Rc`. This PR trades off some transient memory allocations to reduce the size of–and thus the number of instructions required to memcpy–a few widely used data structures in trait solving.
2020-06-07store `ObligationCause` on the heapBastian Kauschke-5/+1
2020-06-05Rename traits::ImplSourceImpl to ImplSourceUserDefined.Ana-Maria Mihalache-11/+13
2020-06-05Rename traits::Vtable to ImplSource.Ana-Maria Mihalache-52/+58
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