compiler/testData/diagnostics/tests/java8Overrides/singleRelevantDefault.kt - third_party/github/JetBrains/kotlin - Git at Google

 // FIR_IDENTICAL
 interface ITop {
     fun foo() {}
 }

 interface ILeft : ITop

 interface IRight : ITop

 interface IDerived : ILeft, IRight
	// FIR_IDENTICAL
	interface ITop {
	fun foo() {}
	}

	interface ILeft : ITop

	interface IRight : ITop

	interface IDerived : ILeft, IRight