about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection/src
AgeCommit message (Expand)AuthorLines
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
2024-11-21Stop being so bail-y in candidate assemblyMichael Goulet-32/+0
2024-11-20Rip out built-in PointerLike implMichael Goulet-31/+0
2024-11-19additional `TypingEnv` cleanupslcnr-6/+5
2024-11-19rustdoc: yeet `TypingEnv::from_param_env`lcnr-9/+4
2024-11-19move `fn is_item_raw` to `TypingEnv`lcnr-1/+3
2024-11-18use `TypingEnv` when no `infcx` is availablelcnr-23/+37
2024-11-13Rollup merge of #132971 - BoxyUwU:handle_infers_in_anon_consts, r=compiler-er...Jubilee-9/+21
2024-11-12Handle infer vars in anon consts on stableBoxy-9/+21
2024-11-12Rollup merge of #132938 - compiler-errors:ed2024-apit-sugg, r=chenyukangMatthias Krüger-1/+9
2024-11-12Make precise capturing suggestion machine-applicable only if it has not APITsMichael Goulet-1/+9
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-86/+291
2024-11-09Dont suggest use<APIT>Michael Goulet-13/+20
2024-11-09Suggest turning APITs into generics in opaque overcapturesMichael Goulet-3/+121
2024-11-08Rollup merge of #132757 - compiler-errors:yeet-check-wf, r=lcnrJubilee-0/+16
2024-11-08Manually register some bounds for a better spanMichael Goulet-0/+16
2024-11-08Auto merge of #128849 - estebank:issue-89143, r=jackh726bors-45/+90
2024-11-07Only show "same type from differnt version" note when relevantEsteban Küber-7/+15
2024-11-07Remove less relevant info from diagnosticEsteban Küber-0/+18
2024-11-07Tweak diagnostic outputEsteban Küber-19/+21
2024-11-07Tweak detection of multiple crate versions to be more ecompassingEsteban Küber-39/+56
2024-11-06Auto merge of #132625 - compiler-errors:cache-only-if-opaque, r=lcnrbors-6/+18
2024-11-05Only disable cache if predicate has opaques within itMichael Goulet-6/+18
2024-11-05Auto merge of #132580 - compiler-errors:globs, r=Noratriebbors-32/+40