Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Throw an error if getter-named is redundant #219

Merged
merged 1 commit into from
Dec 13, 2024
Merged

Conversation

skorulis-ap
Copy link
Collaborator

No description provided.

@skorulis-ap skorulis-ap marked this pull request as ready for review December 5, 2024 03:04
@skorulis-ap skorulis-ap requested a review from bradfol December 5, 2024 03:04
Copy link
Collaborator

@bradfol bradfol left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks!

Comment on lines +116 to +117
if forwardedRegistration.hasRedundantGetter {
throw RegistrationParsingError.redundantGetter(syntax: implementsCalledMethod.calledExpression)
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Maybe worth adding test coverage for this too?

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Good point. Added an extra test.

@skorulis-ap skorulis-ap force-pushed the skorulis/getter-error branch from d3eb97b to 1e0544c Compare December 13, 2024 01:43
@skorulis-ap skorulis-ap merged commit 7ee3dde into main Dec 13, 2024
1 check passed
@skorulis-ap skorulis-ap deleted the skorulis/getter-error branch December 13, 2024 01:48
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.

2 participants