about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2025-01-14add note to testlcnr-1/+1
2025-01-14Leak check in impossible_predicates to avoid monomorphizing impossible instancesMichael Goulet-0/+79
2025-01-11Remove a bunch of diagnostic stashing that doesn't do anythingMichael Goulet-15/+26
2025-01-10Rollup merge of #134732 - compiler-errors:unify-conditional-const-error-repor...Jacob Pratt-10/+16
2025-01-10Rollup merge of #135294 - ChrisDenton:bare-fn-width, r=jieyouxuMatthias Krüger-6/+8
2025-01-09Make bare-fn test less dependent on path widthChris Denton-6/+8
2025-01-09Unify conditional and non const call error reportingMichael Goulet-16/+16
2025-01-09Add note back to conditionally-const error messageMichael Goulet-0/+6
2025-01-09Use trait definition cycle detection for trait alias definitions, tooOli Scherer-0/+29
2025-01-08Implement const Destruct in old solverMichael Goulet-32/+95
2025-01-08Auto merge of #133858 - dianne:better-blame-constraints-for-static, r=lcnrbors-8/+6
2025-01-06Rollup merge of #134744 - compiler-errors:transmute-non-wf, r=lcnrJacob Pratt-0/+92
2025-01-06Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnrJacob Pratt-8/+11
2025-01-06`best_blame_constraint`: add a special case to recover object lifetime defaul...dianne-3/+6
2025-01-06`best_blame_constraint`: don't filter constraints by sup SCCdianne-14/+9
2025-01-06Rollup merge of #134951 - compiler-errors:double-trait-err-msg, r=davidtwcoMatthias Krüger-0/+63
2025-01-06Recurse on GAT where clauses in fulfillment error proof tree visitorMichael Goulet-18/+14
2025-01-06Don't ice on bad transmute in typeck in new solverMichael Goulet-0/+92
2025-01-06Add derived causes for host effect predicatesMichael Goulet-8/+15
2025-01-04Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obkbors-5/+1
2025-01-04rustc_intrinsic: support functions without body; they are implicitly marked a...Ralf Jung-5/+1
2025-01-04Rollup merge of #135064 - RalfJung:const-in-pat-partial-eq-not-const, r=compi...Matthias Krüger-0/+54
2025-01-04Auto merge of #135057 - compiler-errors:project-unconstrained, r=oli-obkbors-0/+77
2025-01-03const-in-pattern: test that the PartialEq impl does not need to be constRalf Jung-0/+54
2025-01-03Auto merge of #134692 - GrigorenkoPV:sync_poision, r=tgross35bors-1/+1
2025-01-03Also in the new solverMichael Goulet-2/+28
2025-01-03Do not project when there are unconstrained impl paramsMichael Goulet-0/+51
2025-01-02Move some things to `std::sync::poison` and reexport them in `std::sync`Pavel Grigorenko-1/+1
2025-01-01Rollup merge of #133292 - dianne:e0277-suggest-deref, r=estebankStuart Cook-0/+113
2024-12-31Suppress host effect predicates if underlying trait doesn't holdMichael Goulet-0/+63
2024-12-27Remove the `-test` suffix from normalize directivesZalathar-5/+5
2024-12-25Auto merge of #134729 - oliveredget:typo, r=jieyouxubors-1/+1
2024-12-24Auto merge of #134333 - daxpedda:stdarch-bump, r=daxpeddabors-7/+8
2024-12-24Bump `stdarch`daxpedda-7/+8
2024-12-24chore: fix typosoliveredget-1/+1
2024-12-24Auto merge of #134716 - Zalathar:rollup-1h4q8cc, r=Zalatharbors-84/+99
2024-12-24Rollup merge of #134701 - compiler-errors:non-const-def-descr, r=Urgau,fmeaseStuart Cook-35/+35
2024-12-24Rollup merge of #134638 - compiler-errors:fx-item-bounds, r=lcnrStuart Cook-49/+64
2024-12-23Note def descr in NonConstFunctionCallMichael Goulet-35/+35
2024-12-22Begin to implement type system layer of unsafe bindersMichael Goulet-2/+2
2024-12-22Rollup merge of #134639 - compiler-errors:negative-ambiguity-causes, r=oli-obkMatthias Krüger-0/+41
2024-12-22Make sure we note ambiguity causes on positive/negative impl conflictsMichael Goulet-0/+41
2024-12-22Fix item bounds in old solverMichael Goulet-49/+64
2024-12-22Flatten effects directory now that it doesn't really test anything specificMichael Goulet-90/+0
2024-12-20split up `#[rustc_deny_explicit_impl]` attributeLukas Markeffsky-35/+106
2024-12-18Rollup merge of #133643 - lcnr:merge-candidates, r=compiler-errorsJacob Pratt-5/+12
2024-12-18resolve FIXMElcnr-5/+0
2024-12-18add testslcnr-0/+12
2024-12-18Fix const conditions for RPITITsMichael Goulet-13/+221
2024-12-17consistently handle global where-boundslcnr-36/+6