// FILE: test/JavaClass.java package test; public abstract class JavaClass implements A { } // FILE: main.kt package test interface A : Collection // There must be toArray methods in B abstract class B : JavaClass()