plugins/plugin-sandbox/testData/box/extendsJava.kt - third_party/github/JetBrains/kotlin - Git at Google


            
            // TARGET_BACKEND: JVM

            
            // FULL_JDK

            
            import java.io.File;


            class A : File("A")


            fun foo(): A = TODO()


            fun box() = "OK"
	// TARGET_BACKEND: JVM
	// FULL_JDK
	import java.io.File;

	class A : File("A")

	fun foo(): A = TODO()

	fun box() = "OK"