about summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits
AgeCommit message (Expand)AuthorLines
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-19/+21
2020-06-15Expand "recursive opaque type" diagnosticEsteban Küber-2/+2
2020-06-15Auto merge of #73369 - RalfJung:rollup-hl8g9zf, r=RalfJungbors-14/+31
2020-06-15Rollup merge of #72740 - estebank:recursive-indirection, r=matthewjasperRalf Jung-14/+31
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-8/+3
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-12Make `type_marked_structural` privateDylan MacKenzie-2/+1
2020-06-12Helper method for whether type has structural equalityDylan MacKenzie-12/+21
2020-06-11Remove associated opaque typesMatthew Jasper-8/+3
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-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-2/+1
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
2020-06-03remove ignore-tidy-filelengthBastian Kauschke-2/+0
2020-06-03move confirmation into submoduleBastian Kauschke-804/+827
2020-06-03move candidate assembly into a submoduleBastian Kauschke-607/+613
2020-06-03move select into subfolderBastian Kauschke-0/+0
2020-06-03Auto merge of #70107 - lcnr:issue68977, r=eddybbors-74/+142
2020-06-02Rename the crates in source codeVadim Petrochenkov-2/+1
2020-06-02update testsBastian Kauschke-3/+4
2020-06-02change WellFormed predicate to GenericArgBastian Kauschke-118/+77
2020-06-02add WellFormedConst predicateBastian Kauschke-10/+69
2020-06-02implement wf checking for constantsBastian Kauschke-38/+87
2020-06-02remove assertBastian Kauschke-2/+1
2020-06-02Rollup merge of #72775 - JohnTitor:await-sugg, r=estebankYuki Okushi-7/+6
2020-06-02normalize adt fields during structural match checkBastian Kauschke-1/+5
2020-06-01Call `skip_binder` or `no_bound_vars` before `self_ty`Dylan MacKenzie-19/+39
2020-06-01Rollup merge of #72776 - lcnr:stalled_on-smallvec, r=nnethercoteDylan DPC-3/+4
2020-05-31Rollup merge of #72807 - xiaotianrandom:fix-assoc-type-diagnostics, r=estebankDylan DPC-19/+12
2020-05-31Rollup merge of #72715 - estebank:trailing-comma-where, r=petrochenkovRalf Jung-1/+1
2020-05-31remove fixme for `stalled_on`Bastian Kauschke-3/+4
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 20:44:29 +0000