Tuples where elements borrow other elements?
Nobody has claimed this yet.
- Dominant language
- Markdown
- Stars
- 6.6k
- Forks
- 1.7k
- Avg merge
- 16h 14m
- Merged PRs (30d)
- 1
Description
I would like it if it were possible to express a tuple type or function argument list where latter elements borrow from earlier ones. eg. Suppose I want to write a function that takes both a Vec<T> and a &T borrowed from the Vec<T> simultaneously. Currently, there's no way to do this. What would it take to make this possible and what would the typing syntax look like?
Contributor guide
No contributing guide indexed for this repository
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 the issue's examples involving a Vec and a borrowed &T, then review Rust's tuple, function-argument, and borrowing type rules. Define whether the requested relationship is expressible and what syntax and semantics it would require; completion would need a decided design and an RFC proposal rather than a localized patch.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- rust
- Domain
- compilers
- Issue type
- Feature
- Difficulty
- 5/5
- Estimated time
- Over a week
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 25/100