compiler/testData/codegen/bytecodeText/checkcast/noCheckcastOnSuper.kt - third_party/github/JetBrains/kotlin - Git at Google

 interface Tr {
     fun extra(): String = "e"
 }

 class N : Tr {
     override fun extra(): String = super.extra()
 }

 // 0 CHECKCAST
	interface Tr {
	fun extra(): String = "e"
	}

	class N : Tr {
	override fun extra(): String = super.extra()
	}

	// 0 CHECKCAST