//version 8: import java.util.List; public class WithByNullAnnos { final List test; @java.lang.SuppressWarnings("all") public WithByNullAnnos(final List test) { this.test = test; } @org.checkerframework.checker.nullness.qual.NonNull @java.lang.SuppressWarnings("all") public WithByNullAnnos withTestBy(final java.util.function.@org.checkerframework.checker.nullness.qual.NonNull Function, ? extends List> transformer) { return new WithByNullAnnos(transformer.apply(this.test)); } }