about summary refs log tree commit diff
path: root/src/librustc_trait_selection
AgeCommit message (Expand)AuthorLines
2020-06-20Consider fewer predicates for projection candidatesMatthew Jasper-36/+35
2020-06-20Try to suggest dereferences when trait selection failed.Donough Liu-1/+67
2020-06-20Decouple `Autoderef` with `FnCtxt` and move `Autoderef` to `librustc_trait_se...Donough Liu-0/+230
2020-06-20int -> i32Bastian Kauschke-7/+7
2020-06-20skol -> placeholderBastian Kauschke-17/+16
2020-06-19Rollup merge of #73452 - matthewjasper:auto-rec, r=nikomatsakisManish Goregaokar-1/+11
2020-06-19Rollup merge of #73359 - jonas-schievink:do-the-shimmy, r=matthewjasperManish Goregaokar-1/+1
2020-06-19Add compare-mode=chalk and add a little bit more implementations and fixmesJack Huey-1/+5
2020-06-19Rollup merge of #73261 - estebank:generics-sized, r=nikomatsakisManish Goregaokar-26/+130
2020-06-18Rollup merge of #71338 - estebank:recursive-impl-trait, r=nikomatsakisManish Goregaokar-2/+2
2020-06-18Rollup merge of #70551 - mark-i-m:ty-err-2, r=varkorManish Goregaokar-22/+24
2020-06-18review comments: add commentEsteban Küber-0/+6
2020-06-17Unify region variables when projecting associated typesmatthewjasper-1/+11
2020-06-16Provide `help` when `T: ?Sized` can't be suggestedEsteban Küber-9/+45
2020-06-16Auto merge of #72962 - lcnr:ObligationCause-lrc, r=ecstatic-morsebors-5/+6
2020-06-15Account for derived obligations to suggest `?Sized` boundEsteban Küber-8/+8
2020-06-15Suggest `?Sized` when applicable for ADTsEsteban Küber-26/+88
2020-06-15make all uses of ty::Error or ConstKind::Error delay a span bugmark-22/+24
2020-06-15Expand "recursive opaque type" diagnosticEsteban Küber-2/+2
2020-06-15Auto merge of #73369 - RalfJung:rollup-hl8g9zf, r=RalfJungbors-17/+33
2020-06-15Rollup merge of #72938 - lzutao:stabilize_option_zip, r=dtolnayRalf Jung-1/+0
2020-06-15Rollup merge of #72740 - estebank:recursive-indirection, r=matthewjasperRalf Jung-14/+31
2020-06-15Rollup merge of #72707 - matthewjasper:rustc_min_spec, r=oli-obkRalf Jung-2/+2
2020-06-15Auto merge of #73367 - RalfJung:rollup-4ewvk9b, r=RalfJungbors-1/+6
2020-06-15Auto merge of #72080 - matthewjasper:uniform-impl-trait, r=nikomatsakisbors-60/+47
2020-06-14Improve `Instance` docsJonas Schievink-1/+1
2020-06-14structural_match: non-structural-match ty closuresDavid Wood-1/+6
2020-06-13Add error note when trying fn as Fn traitCaleb Zulawski-0/+21
2020-06-13Don't implement Fn* traits for #[target_feature] functionsCaleb Zulawski-1/+15
2020-06-13Stabilize Option::zipLzu Tao-1/+0
2020-06-12Make `type_marked_structural` privateDylan MacKenzie-2/+1
2020-06-12Helper method for whether type has structural equalityDylan MacKenzie-12/+21
2020-06-11Document some opaque types codeMatthew Jasper-3/+11
2020-06-11Forbid lifetime elision in let position impl TraitMatthew Jasper-2/+2
2020-06-11Remove associated opaque typesMatthew Jasper-22/+6
2020-06-11Stop special casing top level TAITMatthew Jasper-37/+32
2020-06-10review comments: only suggest one substitutionEsteban Küber-35/+14
2020-06-10On recursive ADT, provide indirection structured suggestionEsteban Küber-14/+52
2020-06-10Rollup merge of #73005 - Aaron1011:fix/error-overflow, r=estebankDylan DPC-0/+18
2020-06-10Rollup merge of #72897 - lcnr:structurally-match-normalize, r=pnkfelixDylan DPC-1/+4
2020-06-10Use min_specialization in the remaining rustc cratesMatthew Jasper-2/+2
2020-06-09Auto merge of #72114 - anyska:vtable-rename, r=nikomatsakisbors-103/+115
2020-06-07store `ObligationCause` on the heapBastian Kauschke-5/+6
2020-06-06Rollup merge of #72508 - ecstatic-morse:poly-self-ty, r=nikomatsakisRalf Jung-19/+39
2020-06-06Auto merge of #72927 - petrochenkov:rustc, r=Mark-Simulacrumbors-3/+2
2020-06-05Fix typoAaron Hill-1/+1
2020-06-05Rename traits::ImplSourceImpl to ImplSourceUserDefined.Ana-Maria Mihalache-15/+17
2020-06-05Rename traits::Vtable to ImplSource.Ana-Maria Mihalache-103/+113
2020-06-04Treat selection error as ambiguous when error type is presentAaron Hill-0/+8
2020-06-04Don't create impl candidates when obligation contains errorsAaron Hill-0/+10