Skip to content

Add Declaration Location to Refinement Errors - #285

Merged
rcosta358 merged 2 commits into
mainfrom
declaration-locations
Aug 11, 2026
Merged

Add Declaration Location to Refinement Errors#285
rcosta358 merged 2 commits into
mainfrom
declaration-locations

Show Code Snippet of Refinement Location

921af0e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
Maven test on Java 20
succeeded Aug 11, 2026 in 1m 17s