Kotlin编译器问题，在Kotlin中重写Java final函数

我正在处理Kotlin/Java编译器的以下问题。 设想以下场景：让

First

成为一个带有final函数的Java类，

Second

成为一个扩展

First

的Kotlin类，其函数与

First

类中的final函数同名，例如：

// Java class
class First {
    final void foo() { }
}

显然，这是错误的，因为不能重写最后一个函数

foo（）

。然而，编译成功通过，并且在运行时我得到了

java.lang.LinkageError:方法void Second.foo（）覆盖了类First中的最终方法。
这是编译器的正确行为吗？我想这个案子会有一些验证。谢谢大家!
 无法使用kotlin 1.3.20进行复制。我得到一个生成错误，说
'foo'隐藏超类型的成员'First'，需要'override'修饰符。
。如果我添加那个修饰符，我会得到一个错误，
“First”中的“foo”是final，不能被重写。
。kotlin的哪个版本？kotlin的版本是1.3.50 final方法不应该被重写，所以错误是完全正确的
// Kotlin class
class Second: First() {
    fun foo() { }
}