`@Retention(RetentionPolicy.CLASS)` is the default, so there is no need to declare it explicitly in `@Contract`.