Android フォンで AIDE を実行していますが、次の Java コードのコンパイルに問題があります。
elements = Arrays.copyOf(elements, elements.length * 2);
これelements
は のタイプint[]
です。私がAIDEから得ているエラーは
Several methods are applicable to (int[], int): 'java.util.Arrays.copyOf(int[], int)' and 'java.util.Arrays.copyOf<T>(T[], int)'
コンパイラが前者のオプションを選択することを期待していましたが、そうではありません。どうすればこれを解決できますか?