Allow parsing `impl const` trait implementations
Open
Nobody has claimed this yet.
enhancement
- Dominant language
- C++
- Stars
- 2.9k
- Forks
- 231
- Avg merge
- 19h 55m
- Merged PRs (30d)
- 67
Description
While the feature is still experimental, it will be necessary for const generics and parsing the standard library down the line:
pub trait Sub<Rhs = Self> {
type Output;
fn sub(self, rhs: Rhs) -> Self::Output;
}
impl const Sub for usize {
type Output = usize;
#[inline]
fn sub(self, other: usize) -> usize { self - other }
}
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 from the parser path for Rust impl declarations and use the impl const Sub for usize example in the issue as the initial input. Done means this experimental trait-implementation syntax is accepted by the parser, including the associated type and method shown.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 45/100