about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
2024-12-04Auto merge of #133818 - matthiaskrgr:rollup-iav1wq7, r=matthiaskrgrbors-30/+3
2024-12-03Remove generic_associated_types_extended feature gateMichael Goulet-30/+3
2024-12-03Rollup merge of #133545 - clubby789:symbol-intern-lit, r=jieyouxuMatthias Krüger-2/+1
2024-12-03Rollup merge of #132612 - compiler-errors:async-trait-bounds, r=lcnrMatthias Krüger-1/+1
2024-12-03Rollup merge of #133517 - compiler-errors:deep-norm, r=lcnrMatthias Krüger-4/+25
2024-12-03Rollup merge of #133325 - compiler-errors:const-spec, r=lcnr,fee1-deadMatthias Krüger-22/+128
2024-12-02Assert that obligations are empty before deeply normalizingMichael Goulet-0/+20
2024-12-02Deeply normalize when computing implied outlives boundsMichael Goulet-4/+5
2024-12-02Fix const specializationMichael Goulet-5/+17
2024-12-02Reimplement specialization for const traitsMichael Goulet-18/+112
2024-12-02Rollup merge of #133746 - oli-obk:push-xwyrylxmrtvq, r=jieyouxuGuillaume Gomez-3/+2
2024-12-02Auto merge of #133760 - GuillaumeGomez:rollup-2c1y8c3, r=GuillaumeGomezbors-1/+1
2024-12-02Move tests back to using AsyncFnMichael Goulet-1/+1
2024-12-02Rollup merge of #133751 - lcnr:no-trait-solving-on-type, r=compiler-errorsGuillaume Gomez-1/+1
2024-12-02Auto merge of #133626 - lcnr:fix-diesel, r=BoxyUwUbors-6/+11
2024-12-02remove `Ty::is_copy_modulo_regions`lcnr-1/+1
2024-12-02Add a helper method for extracting spans from AttrArgsEqOli Scherer-3/+2
2024-12-02Change `AttrArgs::Eq` into a struct variantOli Scherer-2/+2
2024-12-01Rollup merge of #133589 - voidc:remove-array-len, r=boxyuwuJacob Pratt-2/+1
2024-12-01Adjust HostEffect error spans correctly to point at argsMichael Goulet-1/+4
2024-11-30Remove hir::ArrayLen, introduce ConstArgKind::InferDominik Stolz-2/+1
2024-11-30Rollup merge of #133585 - estebank:issue-133563, r=jieyouxu许杰友 Jieyou Xu (Joe)-0/+4
2024-11-29check local cache even if global is usablelcnr-6/+11
2024-11-28Do not call `extern_crate` on current trait on crate mismatch errorsEsteban Küber-0/+4
2024-11-28Replace `Symbol::intern` calls with preinterned symbolsclubby789-2/+1
2024-11-28support revealing defined opaque post borrowcklcnr-12/+23
2024-11-28uplift fold_regions to rustc_type_irlcnr-2/+4
2024-11-27Auto merge of #133393 - compiler-errors:dyn-tweaks, r=lcnr,spastorinobors-29/+7
2024-11-27Rollup merge of #133493 - lcnr:fulfill-fudge, r=compiler-errorsMatthias Krüger-4/+13
2024-11-26Rollup merge of #133471 - lcnr:uwu-gamer, r=BoxyUwUMichael Goulet-18/+25
2024-11-26Rollup merge of #133304 - lqd:issue-132920, r=estebankMichael Goulet-18/+0
2024-11-26Rollup merge of #133367 - compiler-errors:array-len-mismatch, r=BoxyUwUMichael Goulet-4/+9
2024-11-26do not constrain infer vars in `find_best_leaf_obligation`lcnr-4/+13
2024-11-25fix gce typing_mode mismatchlcnr-18/+25
2024-11-25Simplify object_region_boundsMichael Goulet-29/+7
2024-11-25Refactor `where` predicates, and reserve for attributes supportFrank King-13/+15
2024-11-24Simplify array length mismatch error reportingMichael Goulet-4/+9
2024-11-23Auto merge of #133242 - lcnr:questionable-uwu, r=compiler-errors,BoxyUwUbors-69/+76
2024-11-23global old solver cache: use `TypingEnv`lcnr-20/+41
2024-11-23remove remaining references to `Reveal`lcnr-6/+6
2024-11-23no more Reveal :(lcnr-43/+29
2024-11-23Rollup merge of #133366 - compiler-errors:expected-found, r=dtolnay许杰友 Jieyou Xu (Joe)-15/+17
2024-11-23Remove unnecessary bool from ExpectedFoundMichael Goulet-15/+17
2024-11-22Rollup merge of #132090 - compiler-errors:baily, r=lcnrMichael Goulet-32/+0
2024-11-22Rollup merge of #133323 - compiler-errors:bail-if-self-var, r=lcnr许杰友 Jieyou Xu (Joe)-0/+5
2024-11-22Bail in effects in old solver if self ty is ty varMichael Goulet-0/+5
2024-11-22Simplify fulfill_implicationMichael Goulet-124/+102
2024-11-21Revert "Remove less relevant info from diagnostic"Rémy Rakic-18/+0
2024-11-21E0277: suggest dereferencing function arguments in more casesdianne-113/+85
2024-11-21Rollup merge of #132489 - compiler-errors:fn-sugg-tweaks, r=BoxyUwUMatthias Krüger-80/+97