On Friday, 31 October 2025 at 22:58:04 UTC, Peter C wrote: > 'implement' - implements an abstract/interface method - > First-time definition > use @implement and build your own checker if you need this. > I'm a big fan of clarity in design. yeah, the java exception lists were that too. turns out people hate useless clutter and extra work.