summary refs log tree commit diff
path: root/src/librustc_trait_selection/traits
AgeCommit message (Expand)AuthorLines
2020-08-20Don't immediately error for cycles during normalizationMatthew Jasper-43/+73
2020-08-20allow escaping bound vars when normalizing `ty::Opaque`Bastian Kauschke-9/+4
2020-07-10Avoid "whitelist"Tamir Duberstein-1/+1
2020-07-09Rollup merge of #74070 - eddyb:forall-tcx-providers, r=nikomatsakisManish Goregaokar-3/+3
2020-07-05Use for<'tcx> fn pointers in Providers, instead of having Providers<'tcx>.Eduard-Mihai Burtescu-3/+3
2020-07-05Shrink ParamEnv to 16 bytesMark Rousskov-22/+27
2020-07-02Auto merge of #73751 - eddyb:no-empty-tables, r=nikomatsakisbors-1/+1
2020-07-02Remove `TypeckTables::empty(None)` and make hir_owner non-optional.Eduard-Mihai Burtescu-1/+1
2020-07-01Rollup merge of #73306 - calebzulawski:target-feature-11-fn-trait-soundness, ...Manish Goregaokar-1/+33
2020-06-30Make #[target_feature] Fn trait error message less confusingCaleb Zulawski-16/+15
2020-06-30change `skip_binder` to use T by valueBastian Kauschke-14/+14
2020-06-30stop taking references in RelateBastian Kauschke-4/+4
2020-06-27Don't implement Fn* for unsafe #[target_feature] functionsCaleb Zulawski-5/+3
2020-06-26Rollup merge of #73681 - jackh726:chalk-0.14, r=nikomatsakisManish Goregaokar-7/+8
2020-06-24Implement associated lang itemsAaron Hill-8/+7
2020-06-24Update ChalkJack Huey-7/+8
2020-06-22remove leak-check from projectNiko Matsakis-2/+1
2020-06-22remove snapshot calls from "match" operations during selectNiko Matsakis-34/+14
2020-06-22upcasting traits requires only that things become more generalNiko Matsakis-15/+1
2020-06-22move leak-check to during coherence, candidate evalNiko Matsakis-11/+17
2020-06-22rewrite leak check to be based on universesNiko Matsakis-14/+17
2020-06-21Auto merge of #73180 - matthewjasper:predicate-cache, r=nikomatsakisbors-1/+1
2020-06-21Auto merge of #72936 - jackh726:chalk-more, r=nikomatsakisbors-1/+5
2020-06-21Replace `is_global` call on data with call on predicateMatthew Jasper-1/+1
2020-06-20Auto merge of #73563 - Manishearth:rollup-oowgwwm, r=Manishearthbors-37/+102
2020-06-20Rollup merge of #72788 - matthewjasper:projection-bound-validation, r=nikomat...Manish Goregaokar-36/+35
2020-06-20Rollup merge of #72456 - ldm0:dereftrait, r=estebankManish Goregaokar-1/+67
2020-06-20Prevent incorrect help message for dereference suggestionDonough Liu-1/+1
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-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-19/+21
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-04-24 11:48:38 +0000