about summary refs log tree commit diff
path: root/compiler/rustc_trait_selection
AgeCommit message (Expand)AuthorLines
2024-08-15Rollup merge of #129106 - compiler-errors:unused-type-ops, r=jieyouxuMatthias Krüger-65/+0
2024-08-14Remove redundant type opsMichael Goulet-65/+0
2024-08-14Rollup merge of #128828 - lcnr:search-graph-11, r=compiler-errors许杰友 Jieyou Xu (Joe)-7/+3
2024-08-14if we have an `ocx`, use itlcnr-35/+3
2024-08-14Auto merge of #129076 - matthiaskrgr:rollup-rg8mi2x, r=matthiaskrgrbors-14/+26
2024-08-14Rollup merge of #129061 - compiler-errors:lang-item, r=UrgauMatthias Krüger-5/+4
2024-08-14Rollup merge of #128759 - notriddle:notriddle/spec-to-string, r=workingjubile...Matthias Krüger-9/+22
2024-08-14Auto merge of #128812 - nnethercote:shrink-TyKind-FnPtr, r=compiler-errorsbors-45/+50
2024-08-13Use is_lang_item moreMichael Goulet-5/+4
2024-08-13diagnostics: use `DeepRejectCtxt` for checkMichael Howell-9/+28
2024-08-12Rollup merge of #128912 - compiler-errors:do-not-recommend-impl, r=lcnrMatthias Krüger-20/+4
2024-08-12Rollup merge of #128712 - compiler-errors:normalize-borrowck, r=lcnrMatthias Krüger-3/+3
2024-08-12reword messageEsteban Küber-2/+2
2024-08-12Rollup merge of #128978 - compiler-errors:assert-matches, r=jieyouxuGuillaume Gomez-4/+9
2024-08-12do not use the global solver cache for proof treeslcnr-7/+3
2024-08-11Remove struct_tail_no_normalizationMichael Goulet-2/+2
2024-08-11Rename normalization functions to rawMichael Goulet-1/+1
2024-08-11Use assert_matches around the compilerMichael Goulet-4/+9
2024-08-11Rollup merge of #128762 - fmease:use-more-slice-pats, r=compiler-errorsMatthias Krüger-7/+7
2024-08-10Auto merge of #128746 - compiler-errors:cache-super-outlives, r=lcnrbors-26/+16
2024-08-09Store do_not_recommend-ness in impl headerMichael Goulet-20/+4
2024-08-09Shrink `TyKind::FnPtr`.Nicholas Nethercote-45/+50
2024-08-09Rollup merge of #128791 - compiler-errors:async-fn-unsafe, r=lcnrMatthias Krüger-2/+14
2024-08-08Don't implement AsyncFn for FnDef/FnPtr that wouldnt implement FnMichael Goulet-2/+14
2024-08-08Detect `*` operator on `!Sized` expressionEsteban Küber-7/+42
2024-08-07Rollup merge of #128527 - estebank:ambiguity-suggestion, r=NadrierilGuillaume Gomez-21/+49
2024-08-07Use more slice patterns inside the compilerLeón Orell Valerian Liehr-7/+7
2024-08-06diagnostics: `Box<dyn Trait>` suggestion with multiple matching implMichael Howell-15/+9
2024-08-06fix rebaseEsteban Küber-2/+3
2024-08-06Add `help` about using `cargo tree`Esteban Küber-0/+1
2024-08-06On trait bound mismatch, detect multiple crate versions in dep treeEsteban Küber-39/+124
2024-08-06Cache supertrait outlives of impl header for soundness checkMichael Goulet-26/+16
2024-08-05Auto merge of #128689 - matthiaskrgr:rollup-ukyn8wq, r=matthiaskrgrbors-1/+1
2024-08-05Don't re-elaborated already elaborated caller bounds in method probeMichael Goulet-1/+1
2024-08-05Elaborate supertraits in dyn candidatesMichael Goulet-0/+1
2024-08-05Enforce supertrait outlives obligations hold when confirming implMichael Goulet-2/+32
2024-08-02More information for fully-qualified suggestion when there are multiple implsEsteban Küber-21/+49
2024-07-31Rollup merge of #128438 - Bryanskiy:empty-array-dropck, r=lcnrMatthias Krüger-2/+9
2024-07-31Add special-case for [T, 0] in dropckBryanskiy-2/+9
2024-07-30Auto merge of #128083 - Mark-Simulacrum:bump-bootstrap, r=albertlarsan68bors-4/+1
2024-07-29only accept adt type during infer source visitorbohan-4/+4
2024-07-29Reformat `use` declarations.Nicholas Nethercote-452/+412
2024-07-28step cfg(bootstrap)Mark Rousskov-4/+1
2024-07-26Rollup merge of #128201 - compiler-errors:closure-clone, r=oli-obkTrevor Gross-2/+15
2024-07-26Auto merge of #121676 - Bryanskiy:polarity, r=petrochenkovbors-5/+5
2024-07-26Make coroutine-closures possible to be clonedMichael Goulet-2/+15
2024-07-26Rollup merge of #126090 - compiler-errors:supertrait-assoc-ty-unsoundness, r=...Matthias Krüger-114/+194
2024-07-25Support ?Trait bounds in supertraits and dyn Trait under a feature gateBryanskiy-5/+5
2024-07-25Rollup merge of #128160 - compiler-errors:auto, r=jackh726Matthias Krüger-0/+6
2024-07-24Don't ICE when auto trait has assoc ty in old solverMichael Goulet-0/+6