summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2025-05-08Rollup merge of #140684 - compiler-errors:unnecessary-assoc, r=lcnrMatthias Krüger-3/+46
2025-05-08Rollup merge of #140736 - xizheyin:issue-140166, r=petrochenkovMatthias Krüger-0/+40
2025-05-08Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnrMatthias Krüger-0/+56
2025-05-07ReviewMichael Goulet-1/+1
2025-05-07Use MaybeCause::or to allow constraints from overflows if they are combined w...Michael Goulet-0/+56
2025-05-07Only include associated type bounds for Self:Sized associated types if they a...Michael Goulet-3/+46
2025-05-07Only prefer param-env candidates if they remain non-global after normMichael Goulet-19/+16
2025-05-07Check `&` before suggest remove deref when trait_selectionxizheyin-5/+1
2025-05-07Add ui test suggest-remove-deref-issue-140166xizheyin-0/+44
2025-05-06support duplicates in the opaque_types_storagelcnr-0/+25
2025-05-06Auto merge of #140561 - compiler-errors:gather-fewer-locals, r=lcnrbors-20/+20
2025-05-05Deeply normalize in the new solver in WFMichael Goulet-5/+18
2025-05-05Do not gather local all together at the beginning of typeckMichael Goulet-20/+20
2025-05-02Add regression test for 133065reddevilmidzy-0/+31
2025-04-30Auto merge of #140503 - matthiaskrgr:rollup-n7zigts, r=matthiaskrgrbors-0/+41
2025-04-30compiletest: Make diagnostic kind mandatory on line annotationsVadim Petrochenkov-11/+15
2025-04-29Treat `ManuallyDrop` as `~const Destruct`Oli Scherer-23/+1
2025-04-29Add testOli Scherer-0/+63
2025-04-26Rollup merge of #140306 - lcnr:specialization-new, r=compiler-errorsMatthias Krüger-31/+24
2025-04-25Track per-obligation recursion depth only if there is inferenceMichael Goulet-0/+31
2025-04-25handle specialization in the new trait solverlcnr-31/+24
2025-04-24norm nested aliases before evaluating the parent goallcnr-0/+45
2025-04-21Rollup merge of #140021 - compiler-errors:no-deep-norm-ice, r=lcnrChris Denton-0/+154
2025-04-19Don't ICE on pending obligations from deep normalization in a loopMichael Goulet-0/+154
2025-04-18Don't assemble non-env/bound candidates if projection is rigidMichael Goulet-0/+32
2025-04-17Rollup merge of #139774 - compiler-errors:supertrait-alias, r=lcnrMatthias Krüger-0/+103
2025-04-16Fix replacing supertrait aliases in ReplaceProjectionWithMichael Goulet-0/+103
2025-04-16stepping into impls for norm is unproductivelcnr-0/+188
2025-04-15Auto merge of #139845 - Zalathar:rollup-u5u5y1v, r=Zalatharbors-6/+118
2025-04-15Rollup merge of #139798 - lcnr:where-bounds-gt-alias-bound, r=compiler-errorsStuart Cook-0/+29
2025-04-15Rollup merge of #139791 - lcnr:ignore-global-where-bounds, r=compiler-errorsStuart Cook-4/+87
2025-04-14normalize: prefer ParamEnv over AliasBoundlcnr-0/+29
2025-04-14drop global where-bounds before merging candidateslcnr-4/+87
2025-04-14Add test for issue 34834reddevilmidzy-0/+30
2025-04-14Move `has_self` field to `hir::AssocKind::Fn`.Nicholas Nethercote-2/+2
2025-04-12tests: ensure disabled tests have a reasonJieyou Xu-1/+1
2025-04-11Auto merge of #139578 - ferrocene:pa-compiletest-edition, r=jieyouxubors-4/+5
2025-04-11Rollup merge of #139564 - compiler-errors:deeply-norm, r=lcnrStuart Cook-35/+131
2025-04-11Rollup merge of #138998 - rperier:donot_suggest_to_use_impl_trait_in_closure_...Stuart Cook-0/+21
2025-04-10Deeply normalize obligations in BestObligationMichael Goulet-35/+131
2025-04-10replace `//@ compile-flags: --edition` with `//@ edition`Pietro Albini-4/+5
2025-04-09Make unnormalizable item ambiguous in coherenceMichael Goulet-0/+60
2025-04-09Use a query rather than recomputing the tail repeatedlyMichael Goulet-0/+142
2025-04-09Mark GAT WC as GoalSource::AliasWellFormed so that we recurse into them in er...Michael Goulet-21/+2
2025-04-09Rigidly project missing item due to guaranteed impossible sized predicateMichael Goulet-0/+139
2025-04-09Suggest the use of `impl Trait` in function parameter onlyRomain Perier-0/+21
2025-04-08UI tests: add missing diagnostic kinds where possibleVadim Petrochenkov-37/+37
2025-04-08Rollup merge of #139421 - compiler-errors:upcast-no-principal-with-proj, r=ol...Stuart Cook-0/+13
2025-04-08Rollup merge of #139346 - compiler-errors:non-lifetime-binder-diag-hir-wf-che...Stuart Cook-0/+83
2025-04-05Fix trait upcasting to dyn type with no principal when there are projectionsMichael Goulet-0/+13