DEBSOURCES
Skip Quicknav
sources / checker-framework-java / 3.2.0%2Bds-3 / checker / tests / index / Issue21.java
12345678
class Issue21 { void test(int[] arr, int[] arr2) { for (int i = 0; i < arr2.length && i < arr.length; i++) { arr[i] = arr2[i]; } } }