Diagnostics code produces malformed obligations
Nobody has claimed this yet.
- Dominant language
- Rust
- Stars
- 119k
- Forks
- 16.1k
- PR merge metrics
- PR metrics pending
Description
#152661 papers over a larger more involved issue and we should fix the underlying issue here.
Yeah, it's not the next-solver that produces fewer args.
The problem is thatobligation, i.e. its trait def just has the fewer args(=1) here and > it isZeroablePrimitivein this case.
I'll look into why we are trying to report a fulfillment error on it.
Originally posted by @ShoyuVanilla in https://github.com/rust-lang/rust/pull/152661#discussion_r2825983542
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
Start by reading issue #152661 and the linked pull-request discussion, then trace the obligation trait definition and the fulfillment error reporting mentioned here. Done means the diagnostics no longer produce malformed obligations for the described ZeroablePrimitive case.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 30/100