Fix ERP042 false positive on properties#327

Merged

SergeyTeplyakov merged 3 commits into

sergeyteplyakov/fix-erp042-properties

Jun 10, 2026

Commits on Jun 10, 2026

Fix ERP042 false positive on properties

SergeyTeplyakov
and
Copilot
committed
Address PR review: simplify event-method check and fix NonEvent ordinal shift

SergeyTeplyakov
and
Copilot
committed
Add explicit non-void method coverage for ERP042

SergeyTeplyakov
and
Copilot
committed