Skip to content

Forbid duplicating argument names#877

Closed
IvanGoncharov wants to merge 1 commit intomainfrom
unique-arg-names
Closed

Forbid duplicating argument names#877
IvanGoncharov wants to merge 1 commit intomainfrom
unique-arg-names

Conversation

@IvanGoncharov
Copy link
Member

@IvanGoncharov IvanGoncharov commented Jul 1, 2021

@IvanGoncharov
Copy link
Member Author

closing in favor of #891

@leebyron leebyron deleted the unique-arg-names branch July 1, 2022 18:00
@benjie benjie added 🌱 Superseded (RFC X) RFC Stage X (See CONTRIBUTING.md) as it has been replaced by a newer proposal 💡 Proposal (RFC 1) RFC Stage 1 (See CONTRIBUTING.md) and removed 💡 Proposal (RFC 1) RFC Stage 1 (See CONTRIBUTING.md) labels Jun 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

💡 Proposal (RFC 1) RFC Stage 1 (See CONTRIBUTING.md) 🌱 Superseded (RFC X) RFC Stage X (See CONTRIBUTING.md) as it has been replaced by a newer proposal

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants