compiler/testData/repl/classes/simpleTrait.repl - third_party/github/JetBrains/kotlin - Git at Google

 >>> interface A
 >>> interface B : A {
 ...    fun foo() = 45
 ... }
 >>> A::class.java.isAssignableFrom(B::class.java)
 true
	>>> interface A
	>>> interface B : A {
	... fun foo() = 45
	... }
	>>> A::class.java.isAssignableFrom(B::class.java)
	true