LukeMathWalker / LukeMathWalker/pavex

feat: Emit a warning if a type is marked as `NeverClone` but it implements the `Copy` trait

Open
#393 1 comment 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

diagnostics enhancement good first issue p-pavexc
Dominant language
Rust
Stars
2.1k
Forks
80
PR merge metrics
No merged PRs in 30d

Description

This is a good first issue for those who want to start working on pavexc, the compiler side of Pavex.

If you're interested in tackling it, comment here to claim it and I'll be happy to provide guidance.

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by locating the pavexc compiler code that handles the NeverClone marker and Copy trait. Check for existing compiler warnings and tests in that area; done means emitting a warning when a NeverClone type also implements Copy.

Written by the indexing model from the issue text.

Assessment

Tech stack
rust
Domain
compilers
Issue type
Feature
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
35/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.