src/hotspot/cpu/aarch64/stubGenerator_aarch64.cpp

@@ -1786,10 +1786,12 @@
       __ stop("super_check_offset inconsistent");
       __ bind(L);
     }
 #endif //ASSERT
 
+    // Note: checkcast arraycopy is always disjoint. If it were not, then we wouldn't
+    // need to checkcast.
     DecoratorSet decorators = IN_HEAP | IS_ARRAY | ARRAYCOPY_CHECKCAST | ARRAYCOPY_DISJOINT;
     bool is_oop = true;
     if (dest_uninitialized) {
       decorators |= IS_DEST_UNINITIALIZED;
     }