summary refs log tree commit diff
path: root/tests/ui/traits/const-traits
AgeCommit message (Expand)AuthorLines
2025-03-14Do not suggest using `-Zmacro-backtrace` for builtin macrosEsteban Küber-11/+0
2025-02-27require trait impls to have matching const stabilities as the traitsDeadbeef-1/+100
2025-02-26Rollup merge of #137613 - davidtwco:const-traits-variances, r=compiler-errorsLeón Orell Valerian Liehr-0/+21
2025-02-24hir_analysis: skip self type of host effect predsDavid Wood-3/+2
2025-02-24tests: add variance test for const traitsDavid Wood-0/+22
2025-02-24trait_sel: resolve vars in host effectsDavid Wood-0/+36
2025-02-17Deeply normalize associated type bounds before proving themMichael Goulet-11/+0
2025-02-10Show diff suggestion format on verbose replacementEsteban Küber-4/+6
2025-02-03Check Sizedness of return type in WFMichael Goulet-11/+11
2025-01-30Use proper type when applying deref adjustment in constMichael Goulet-0/+28
2025-01-29Rollup merge of #135902 - compiler-errors:item-non-self-bound-in-new-solver, ...León Orell Valerian Liehr-3/+13
2025-01-28Do not assume child bound assumptions for rigid aliasMichael Goulet-3/+13
2025-01-28add test case for implicitly stable const fnDeadbeef-1/+117
2025-01-28Implement MIR const trait stability checksDeadbeef-10/+112
2025-01-25Fix typo in const stability error messageDeadbeef-1/+1
2025-01-14Rollup merge of #135425 - compiler-errors:not-conditionally-const, r=RalfJungJubilee-5/+3
2025-01-14Enforce syntactical stability of const traits in HIRMichael Goulet-5/+108
2025-01-14Do not consider traits that have unsatisfied const conditions to be condition...Michael Goulet-5/+3
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-08Implement const Destruct in old solverMichael Goulet-32/+95
2025-01-06Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnrJacob Pratt-8/+11
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-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-03const-in-pattern: test that the PartialEq impl does not need to be constRalf Jung-0/+54
2025-01-02Move some things to `std::sync::poison` and reexport them in `std::sync`Pavel Grigorenko-1/+1
2024-12-31Suppress host effect predicates if underlying trait doesn't holdMichael Goulet-0/+63
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-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-18Fix const conditions for RPITITsMichael Goulet-13/+221
2024-12-14Rollup merge of #134181 - estebank:trim-render, r=oli-obkMatthias Krüger-8/+0
2024-12-12Filter empty lines, comments and delimiters from previous to last multiline s...Esteban Küber-2/+0
2024-12-12Tweak multispan renderingEsteban Küber-6/+0
2024-12-12Auto merge of #132961 - adetaylor:arbitrary-self-types-the-big-bit, r=compile...bors-0/+10
2024-12-11Arbitrary self types v2: use Receiver traitAdrian Taylor-0/+10
2024-12-11Rollup merge of #134105 - compiler-errors:validate-self-preds, r=wesleywiserJacob Pratt-0/+22
2024-12-10Validate self in host predicates correctlyMichael Goulet-0/+22
2024-12-10Tweak wording of non-const traits used as const boundsEsteban Küber-158/+676
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-42/+2
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-12/+12
2024-12-03Auto merge of #133788 - matthiaskrgr:rollup-1p100a8, r=matthiaskrgrbors-17/+146
2024-12-03Auto merge of #133321 - compiler-errors:const-checker, r=wesleywiserbors-28/+13
2024-12-02Fix const specializationMichael Goulet-10/+116