why Idea is converting a functional java interface with the same `@FunctionalInterface` in the first...

# getting-started

[elect]

why Idea is converting a functional java interface with the same @FunctionalInterface in the first case and fun interface in the second case here? What's the different between the annotation and fun interface?

[Stephan Schroeder]

my money is not the first interface extending another. might be a bug in the converter since the Kotlin page on SAMs mentions that inheriting is ok: https://kotlinlang.org/docs/fun-interfaces.html#functional-interfaces-vs-type-aliases "Functional interfaces can also implement and extend other interfaces."