灵感来自anotherquestion.在fastutil图书馆有IntArrayList具有以下Java签名的方法的类:publicvoidpush(Integero)在Kotlin中它被视为push(o:Int)有没有具体原因是Int而不是平台类型Int!?我希望它是push(o:Int!)至少因为Kotlin源代码项目中的Java源代码中定义的签名相同的方法具有Int!作为从Kotlin看到的参数类型(甚至在不同的模块中定义，甚至从该模块的jar中导入!)。此外，所描述的行为会导致push(Integero)与push(into)冲突(在同一类中)有Int合法参数--它们都被视为
