Skip to content

No warning for parameter of overriding method#22757

Merged
sjrd merged 1 commit intoscala:mainfrom
som-snytt:issue/22742-heuristics-override
Mar 11, 2025

Commits

Commits on Mar 10, 2025