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

 // TARGET_BACKEND: JVM_IR
 // FULL_JDK
 import java.io.File;

 class A : File("A")

 fun foo(): A = TODO()

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

	class A : File("A")

	fun foo(): A = TODO()

	fun box() = "OK"