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


            
            // RUN_PIPELINE_TILL: CODEGEN

            
            interface ITop {

            
                fun foo() {}

            
            }


            interface ILeft : ITop


            interface IRight : ITop


            interface IDerived : ILeft, IRight


            /* GENERATED_FIR_TAGS: functionDeclaration, interfaceDeclaration */
	// RUN_PIPELINE_TILL: CODEGEN
	interface ITop {
	fun foo() {}
	}

	interface ILeft : ITop

	interface IRight : ITop

	interface IDerived : ILeft, IRight

	/* GENERATED_FIR_TAGS: functionDeclaration, interfaceDeclaration */