Skip to content

fix: wrong diagnostics for non valid public properties - #877

Merged
vetlek merged 4 commits into
mainfrom
872_public_property_error
Jan 16, 2026
Merged

fix: wrong diagnostics for non valid public properties#877
vetlek merged 4 commits into
mainfrom
872_public_property_error

Conversation

@vetlek

@vetlek vetlek commented Jan 16, 2026

Copy link
Copy Markdown
Contributor

Closes #872

@vetlek
vetlek requested a review from einarsi as a code owner January 16, 2026 11:10
@vetlek
vetlek merged commit 2699d7f into main Jan 16, 2026
5 checks passed
@vetlek
vetlek deleted the 872_public_property_error branch January 16, 2026 12:11
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.

Non-existent and wrongly capitalized object members not diagnosed

2 participants