Skip to content

docs: clarify match arm merge in IssueType::from_str#141

Merged
ajianaz merged 1 commit into
developfrom
docs/clarify-match-merge
Jun 2, 2026
Merged

docs: clarify match arm merge in IssueType::from_str#141
ajianaz merged 1 commit into
developfrom
docs/clarify-match-merge

Conversation

@ajianaz
Copy link
Copy Markdown
Collaborator

@ajianaz ajianaz commented Jun 2, 2026

1-line comment fix to reduce cora review false positives on pattern matching changes.

Add comment explaining why suggestion/info were merged into wildcard:
all three arms returned identical value, verified by clippy
match_same_arms lint. Reduces cora review false positives.
@github-actions
Copy link
Copy Markdown

github-actions Bot commented Jun 2, 2026

🔍 Cora AI Code Review

No issues found. Code looks good!


Review powered by cora-cli · BYOK · MIT

@ajianaz ajianaz merged commit d11694c into develop Jun 2, 2026
7 checks passed
@ajianaz ajianaz deleted the docs/clarify-match-merge branch June 2, 2026 09:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant