From 9769cdd9c5cf9d87e1b0e7304e00567fb13dabf0 Mon Sep 17 00:00:00 2001 From: Aosen Xiong Date: Sun, 26 Jan 2025 23:25:59 -0500 Subject: [PATCH] Add comment to copyof method --- src/java.base/share/classes/java/util/Arrays.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/java.base/share/classes/java/util/Arrays.java b/src/java.base/share/classes/java/util/Arrays.java index 0389c3a01e1..7f9c9446196 100644 --- a/src/java.base/share/classes/java/util/Arrays.java +++ b/src/java.base/share/classes/java/util/Arrays.java @@ -3521,6 +3521,8 @@ public static void fill(@PolyInterned @PolyNull @PolySigned Object[] a, @IndexOr */ @SideEffectFree @SuppressWarnings("unchecked") + @CFComment("The return type is refined when safe see" + + "https://github.com/eisop/checker-framework/blob/17991582bc3a35509f15065b051d8e4c45c3e9ae/checker/src/main/java/org/checkerframework/checker/nullness/NullnessNoInitAnnotatedTypeFactory.java#L759") public static @Nullable T[] copyOf(T[] original, @NonNegative int newLength) { return (T[]) copyOf(original, newLength, original.getClass()); } @@ -3551,6 +3553,8 @@ public static void fill(@PolyInterned @PolyNull @PolySigned Object[] a, @IndexOr */ @SideEffectFree @IntrinsicCandidate + @CFComment("The return type is refined when safe see" + + "https://github.com/eisop/checker-framework/blob/17991582bc3a35509f15065b051d8e4c45c3e9ae/checker/src/main/java/org/checkerframework/checker/nullness/NullnessNoInitAnnotatedTypeFactory.java#L759") public static @Nullable T[] copyOf(U[] original, @NonNegative int newLength, Class newType) { @SuppressWarnings("unchecked") T[] copy = ((Object)newType == (Object)Object[].class)