=== Records.java === | |
import java.lang.annotation.ElementType; | |
import java.lang.annotation.Target; | |
import java.util.Objects; | |
class Records { | |
public record R1(String one) { | |
public R1 { | |
Objects.requireNonNull(one); | |
} | |
} | |
public record R2(String one) { | |
@Deprecated | |
public R2 { | |
Objects.requireNonNull(one); | |
} | |
} | |
public record R3<T>(T x) { | |
@Deprecated | |
public R3 { | |
Objects.requireNonNull(x); | |
} | |
} | |
} |