我怀疑这是一个Kotlin编译器错误。这里的问题是在接口
IntStack中实现的
IntArrayList：
interface Stack<T> { void push(T t);}interface IntStack extends Stack<Integer> { void push(int i);}Kotlin只能看到
push(Int)接口中的一种方法
IntStack，或者更准确地说，Kotlin错误地认为这
push(inti)是method的替代
push(T t)。
