From c0ffbe03c65432cf14501597ad2f36e82c420d89 Mon Sep 17 00:00:00 2001
From: Mikhael Bogdanov <mikhael.bogdanov@jetbrains.com>
Date: Thu, 2 Dec 2021 10:17:24 +0100
Subject: [PATCH] Remove '-Xjvm-default-allow-non-default-inheritance' flag.
 Enable such inheritance by default

 #KT-47000 Fixed
---
 .../arguments/K2JVMCompilerArguments.kt       |  4 ---
 .../kotlin/config/JvmAnalysisFlags.kt         |  3 --
 .../resolve/jvm/checkers/JvmDefaultChecker.kt | 29 +------------------
 .../diagnostics/DefaultErrorMessagesJvm.java  |  1 -
 .../resolve/jvm/diagnostics/ErrorsJvm.java    |  1 -
 .../LanguageVersionSettingsBuilder.kt         |  1 -
 .../directives/LanguageSettingsDirectives.kt  |  4 ---
 .../defaults/nonDefaultInheritance/simple.kt  |  1 -
 .../defaults/nonDefaultInheritance/simple2.kt |  1 -
 .../nonDefaultInheritance/specialization.kt   |  1 -
 .../nonDefaultInheritance/superCall.kt        |  1 -
 .../jvmDefault/jvmDefaultInInheritance.kt     |  6 ++--
 .../annotations/jvmDefault/superCall.kt       |  8 ++---
 .../jvmDefault/superCallAmbiguity.kt          |  4 +--
 .../jvmDefault/superCallAmbiguity3.kt         |  6 ++--
 .../CompileKotlinAgainstCustomBinariesTest.kt |  2 +-
 16 files changed, 14 insertions(+), 59 deletions(-)

diff --git a/compiler/cli/cli-common/src/org/jetbrains/kotlin/cli/common/arguments/K2JVMCompilerArguments.kt b/compiler/cli/cli-common/src/org/jetbrains/kotlin/cli/common/arguments/K2JVMCompilerArguments.kt
index d040a836bda..b7c200665f1 100644
--- a/compiler/cli/cli-common/src/org/jetbrains/kotlin/cli/common/arguments/K2JVMCompilerArguments.kt
+++ b/compiler/cli/cli-common/src/org/jetbrains/kotlin/cli/common/arguments/K2JVMCompilerArguments.kt
@@ -333,9 +333,6 @@ class K2JVMCompilerArguments : CommonCompilerArguments() {
     )
     var jvmDefault: String by FreezableVar(JvmDefaultMode.DEFAULT.description)
 
-    @Argument(value = "-Xjvm-default-allow-non-default-inheritance", description = "Allow inheritance from 'all*' modes for 'disable' one")
-    var jvmDefaultAllowDisableAgainstAll: Boolean by FreezableVar(false)
-
     @Argument(
         value = "-Xdefault-script-extension",
         valueDescription = "<script filename extension>",
@@ -530,7 +527,6 @@ default: `indy-with-constants` for JVM target 9 or greater, `inline` otherwise""
         result[AnalysisFlags.allowUnstableDependencies] = allowUnstableDependencies || useFir
         result[JvmAnalysisFlags.disableUltraLightClasses] = disableUltraLightClasses
         result[JvmAnalysisFlags.useIR] = !useOldBackend
-        result[JvmAnalysisFlags.jvmDefaultAllowNonDefaultInheritance] = jvmDefaultAllowDisableAgainstAll
         return result
     }
 
diff --git a/compiler/config.jvm/src/org/jetbrains/kotlin/config/JvmAnalysisFlags.kt b/compiler/config.jvm/src/org/jetbrains/kotlin/config/JvmAnalysisFlags.kt
index 0fa6c902746..e4278e6d7ce 100644
--- a/compiler/config.jvm/src/org/jetbrains/kotlin/config/JvmAnalysisFlags.kt
+++ b/compiler/config.jvm/src/org/jetbrains/kotlin/config/JvmAnalysisFlags.kt
@@ -18,9 +18,6 @@ object JvmAnalysisFlags {
     @JvmStatic
     val jvmDefaultMode by Delegates.JvmDefaultModeDisabledByDefault
 
-    @JvmStatic
-    val jvmDefaultAllowNonDefaultInheritance by AnalysisFlag.Delegates.Boolean
-
     @JvmStatic
     val inheritMultifileParts by AnalysisFlag.Delegates.Boolean
 
diff --git a/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/checkers/JvmDefaultChecker.kt b/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/checkers/JvmDefaultChecker.kt
index 55109566d28..3620e8ad662 100644
--- a/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/checkers/JvmDefaultChecker.kt
+++ b/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/checkers/JvmDefaultChecker.kt
@@ -29,13 +29,12 @@ import org.jetbrains.kotlin.resolve.jvm.annotations.*
 import org.jetbrains.kotlin.resolve.jvm.diagnostics.ErrorsJvm
 import org.jetbrains.kotlin.util.getNonPrivateTraitMembersForDelegation
 
-class JvmDefaultChecker(private val jvmTarget: JvmTarget, private val project: Project) : DeclarationChecker {
+class JvmDefaultChecker(private val jvmTarget: JvmTarget, project: Project) : DeclarationChecker {
 
     private val ideService = LanguageVersionSettingsProvider.getInstance(project)
 
     override fun check(declaration: KtDeclaration, descriptor: DeclarationDescriptor, context: DeclarationCheckerContext) {
         val jvmDefaultMode = context.languageVersionSettings.getFlag(JvmAnalysisFlags.jvmDefaultMode)
-        val allowNonDefaultInheritance = context.languageVersionSettings.getFlag(JvmAnalysisFlags.jvmDefaultAllowNonDefaultInheritance)
 
         val jvmDefaultAnnotation = descriptor.annotations.findAnnotation(JVM_DEFAULT_FQ_NAME)
         jvmDefaultAnnotation?.let { annotationDescriptor ->
@@ -63,19 +62,6 @@ class JvmDefaultChecker(private val jvmTarget: JvmTarget, private val project: P
             }
         }
 
-        if (!allowNonDefaultInheritance) {
-            if (descriptor is ClassDescriptor) {
-                val hasDeclaredJvmDefaults =
-                    descriptor.unsubstitutedMemberScope.getContributedDescriptors().filterIsInstance<CallableMemberDescriptor>().any {
-                        it.kind.isReal && it.isCompiledToJvmDefault(jvmDefaultMode)
-                    }
-                if (!hasDeclaredJvmDefaults && !checkJvmDefaultsInHierarchy(descriptor, jvmDefaultMode)) {
-                    context.trace.report(ErrorsJvm.JVM_DEFAULT_THROUGH_INHERITANCE.on(declaration))
-                }
-            }
-        }
-
-
         if (jvmDefaultAnnotation == null && !jvmDefaultMode.forAllMethodsWithBody && isInterface(descriptor.containingDeclaration)) {
             val memberDescriptor = descriptor as? CallableMemberDescriptor ?: return
             if (descriptor is PropertyAccessorDescriptor) return
@@ -219,19 +205,6 @@ class JvmDefaultChecker(private val jvmTarget: JvmTarget, private val project: P
         return classMembers.firstNotNullOfOrNull { findPossibleClashMember(it, jvmDefaultMode) }
     }
 
-    private fun checkJvmDefaultsInHierarchy(descriptor: DeclarationDescriptor, jvmDefaultMode: JvmDefaultMode): Boolean {
-        if (jvmDefaultMode.isEnabled) return true
-
-        if (descriptor !is ClassDescriptor) return true
-
-        return descriptor.unsubstitutedMemberScope.getContributedDescriptors().filterIsInstance<CallableMemberDescriptor>()
-            .all { memberDescriptor ->
-                memberDescriptor.kind.isReal || OverridingUtil.filterOutOverridden(memberDescriptor.overriddenDescriptors.toSet()).all {
-                    !isInterface(it.containingDeclaration) || !it.isCompiledToJvmDefaultWithProperMode(jvmDefaultMode) || it.modality == Modality.ABSTRACT
-                }
-            }
-    }
-
     private fun CallableMemberDescriptor.isCompiledToJvmDefaultWithProperMode(compilationDefaultMode: JvmDefaultMode) =
         isCompiledToJvmDefaultWithProperMode(ideService, compilationDefaultMode)
 
diff --git a/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/diagnostics/DefaultErrorMessagesJvm.java b/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/diagnostics/DefaultErrorMessagesJvm.java
index b720474a0ee..96d657c26eb 100644
--- a/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/diagnostics/DefaultErrorMessagesJvm.java
+++ b/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/diagnostics/DefaultErrorMessagesJvm.java
@@ -166,7 +166,6 @@ public class DefaultErrorMessagesJvm implements DefaultErrorMessages.Extension {
         MAP.put(JVM_DEFAULT_IN_JVM6_TARGET,"''@{0}'' is only supported since JVM target 1.8. Recompile with ''-jvm-target 1.8''", STRING);
         MAP.put(JVM_DEFAULT_REQUIRED_FOR_OVERRIDE, "'@JvmDefault' is required for an override of a '@JvmDefault' member");
         MAP.put(JVM_DEFAULT_IN_DECLARATION, "Usage of ''@{0}'' is only allowed with -Xjvm-default option", STRING);
-        MAP.put(JVM_DEFAULT_THROUGH_INHERITANCE, "Inheritance from an interface with '@JvmDefault' members is only allowed with -Xjvm-default option");
         MAP.put(USAGE_OF_JVM_DEFAULT_THROUGH_SUPER_CALL, "Super calls of '@JvmDefault' members are only allowed with -Xjvm-default option");
         MAP.put(NON_JVM_DEFAULT_OVERRIDES_JAVA_DEFAULT, "Non-@JvmDefault interface method cannot override default Java method. Please annotate this method with @JvmDefault or enable `-Xjvm-default=all|all-compatibility`");
         MAP.put(EXPLICIT_METADATA_IS_DISALLOWED, "Explicit @Metadata is disallowed");
diff --git a/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/diagnostics/ErrorsJvm.java b/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/diagnostics/ErrorsJvm.java
index f59f649ef39..86b0cc06ca8 100644
--- a/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/diagnostics/ErrorsJvm.java
+++ b/compiler/frontend.java/src/org/jetbrains/kotlin/resolve/jvm/diagnostics/ErrorsJvm.java
@@ -124,7 +124,6 @@ public interface ErrorsJvm {
     DiagnosticFactory1<PsiElement, String> JVM_DEFAULT_IN_JVM6_TARGET = DiagnosticFactory1.create(ERROR);
     DiagnosticFactory0<KtDeclaration> JVM_DEFAULT_REQUIRED_FOR_OVERRIDE = DiagnosticFactory0.create(ERROR, DECLARATION_SIGNATURE);
     DiagnosticFactory1<KtElement, String> JVM_DEFAULT_IN_DECLARATION = DiagnosticFactory1.create(ERROR, DECLARATION_SIGNATURE_OR_DEFAULT);
-    DiagnosticFactory0<KtDeclaration> JVM_DEFAULT_THROUGH_INHERITANCE = DiagnosticFactory0.create(ERROR, DECLARATION_SIGNATURE);
     DiagnosticFactory0<PsiElement> USAGE_OF_JVM_DEFAULT_THROUGH_SUPER_CALL = DiagnosticFactory0.create(ERROR);
 
     DiagnosticFactory0<PsiElement> LOCAL_JVM_RECORD = DiagnosticFactory0.create(ERROR);
diff --git a/compiler/test-infrastructure/tests/org/jetbrains/kotlin/test/builders/LanguageVersionSettingsBuilder.kt b/compiler/test-infrastructure/tests/org/jetbrains/kotlin/test/builders/LanguageVersionSettingsBuilder.kt
index 5e1054793d6..ffc57f533ee 100644
--- a/compiler/test-infrastructure/tests/org/jetbrains/kotlin/test/builders/LanguageVersionSettingsBuilder.kt
+++ b/compiler/test-infrastructure/tests/org/jetbrains/kotlin/test/builders/LanguageVersionSettingsBuilder.kt
@@ -71,7 +71,6 @@ class LanguageVersionSettingsBuilder {
             analysisFlag(AnalysisFlags.allowKotlinPackage, trueOrNull(LanguageSettingsDirectives.ALLOW_KOTLIN_PACKAGE in directives)),
 
             analysisFlag(JvmAnalysisFlags.jvmDefaultMode, directives.singleOrZeroValue(LanguageSettingsDirectives.JVM_DEFAULT_MODE)),
-            analysisFlag(JvmAnalysisFlags.jvmDefaultAllowNonDefaultInheritance, trueOrNull(LanguageSettingsDirectives.JVM_DEFAULT_ALLOW_NON_DEFAULT_INHERITANCE in directives)),
             analysisFlag(JvmAnalysisFlags.inheritMultifileParts, trueOrNull(LanguageSettingsDirectives.INHERIT_MULTIFILE_PARTS in directives)),
             analysisFlag(JvmAnalysisFlags.sanitizeParentheses, trueOrNull(LanguageSettingsDirectives.SANITIZE_PARENTHESES in directives)),
             analysisFlag(JvmAnalysisFlags.enableJvmPreview, trueOrNull(LanguageSettingsDirectives.ENABLE_JVM_PREVIEW in directives)),
diff --git a/compiler/test-infrastructure/tests/org/jetbrains/kotlin/test/directives/LanguageSettingsDirectives.kt b/compiler/test-infrastructure/tests/org/jetbrains/kotlin/test/directives/LanguageSettingsDirectives.kt
index d6ff975d2b6..d8d29032f2b 100644
--- a/compiler/test-infrastructure/tests/org/jetbrains/kotlin/test/directives/LanguageSettingsDirectives.kt
+++ b/compiler/test-infrastructure/tests/org/jetbrains/kotlin/test/directives/LanguageSettingsDirectives.kt
@@ -59,10 +59,6 @@ object LanguageSettingsDirectives : SimpleDirectivesContainer() {
         additionalParser = JvmDefaultMode.Companion::fromStringOrNull
     )
 
-    val JVM_DEFAULT_ALLOW_NON_DEFAULT_INHERITANCE by directive(
-        description = "Configures corresponding analysis flag (JvmAnalysisFlags.jvmDefaultAllowNonDefaultInheritance)",
-    )
-
     val INHERIT_MULTIFILE_PARTS by directive(
         description = "Enables corresponding analysis flag (JvmAnalysisFlags.inheritMultifileParts)"
     )
diff --git a/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/simple.kt b/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/simple.kt
index 4171625d2b8..7333d6ce494 100644
--- a/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/simple.kt
+++ b/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/simple.kt
@@ -14,7 +14,6 @@ interface Foo {
 
 // MODULE: main(lib)
 // !JVM_DEFAULT_MODE: disable
-// !JVM_DEFAULT_ALLOW_NON_DEFAULT_INHERITANCE
 // FILE: main.kt
 
 interface Derived : Foo {
diff --git a/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/simple2.kt b/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/simple2.kt
index e017df524a5..39d2d8e542b 100644
--- a/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/simple2.kt
+++ b/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/simple2.kt
@@ -14,7 +14,6 @@ interface Foo {
 
 // MODULE: main(lib)
 // !JVM_DEFAULT_MODE: disable
-// !JVM_DEFAULT_ALLOW_NON_DEFAULT_INHERITANCE
 // FILE: main.kt
 
 interface Derived : Foo {
diff --git a/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/specialization.kt b/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/specialization.kt
index d1e5751a8e6..4c1ea3d4963 100644
--- a/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/specialization.kt
+++ b/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/specialization.kt
@@ -16,7 +16,6 @@ interface Foo2<T> {
 
 // MODULE: main(lib)
 // !JVM_DEFAULT_MODE: disable
-// !JVM_DEFAULT_ALLOW_NON_DEFAULT_INHERITANCE
 // FILE: main.kt
 class DerivedClass : Foo<String>
 
diff --git a/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/superCall.kt b/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/superCall.kt
index 191cf9195a7..44a9cd83ad6 100644
--- a/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/superCall.kt
+++ b/compiler/testData/codegen/box/jvm8/defaults/nonDefaultInheritance/superCall.kt
@@ -14,7 +14,6 @@ interface Foo<T> {
 
 // MODULE: main(lib)
 // !JVM_DEFAULT_MODE: disable
-// !JVM_DEFAULT_ALLOW_NON_DEFAULT_INHERITANCE
 // FILE: main.kt
 interface DerivedInterface<T> : Foo<T>
 
diff --git a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/jvmDefaultInInheritance.kt b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/jvmDefaultInInheritance.kt
index 87241b038c7..e63a100c5b0 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/jvmDefaultInInheritance.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/jvmDefaultInInheritance.kt
@@ -6,12 +6,12 @@ interface A {
     }
 }
 
-interface <!JVM_DEFAULT_THROUGH_INHERITANCE!>B<!> : A {
+interface B : A {
 }
 
 
-open class <!JVM_DEFAULT_THROUGH_INHERITANCE!>Foo<!> : B
-open class <!JVM_DEFAULT_THROUGH_INHERITANCE!>Foo2<!> : B, A
+open class Foo : B
+open class Foo2 : B, A
 
 open class FooNoError : B {
     override fun test() {
diff --git a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCall.kt b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCall.kt
index ce671f11388..67193f4b971 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCall.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCall.kt
@@ -7,7 +7,7 @@ interface A {
 }
 
 // FILE: 2.kt
-interface <!JVM_DEFAULT_THROUGH_INHERITANCE!>B<!> : A {
+interface B : A {
 
 }
 
@@ -23,7 +23,7 @@ open class Foo : B {
         super.<!USAGE_OF_JVM_DEFAULT_THROUGH_SUPER_CALL!>test<!>()
     }
 }
-open class <!JVM_DEFAULT_THROUGH_INHERITANCE!>Foo2<!> : B
+open class Foo2 : B
 
 open class Bar : Foo2() {
     override fun test() {
@@ -45,7 +45,7 @@ class ManySupers: Foo2(), B {
     }
 }
 
-class <!JVM_DEFAULT_THROUGH_INHERITANCE!>ManySupers2<!>: Foo2(), C {
+class ManySupers2: Foo2(), C {
     fun foo() {
         super<Foo2>.test()
         super<C>.<!USAGE_OF_JVM_DEFAULT_THROUGH_SUPER_CALL!>test<!>()
@@ -53,7 +53,7 @@ class <!JVM_DEFAULT_THROUGH_INHERITANCE!>ManySupers2<!>: Foo2(), C {
     }
 }
 
-<!MANY_IMPL_MEMBER_NOT_IMPLEMENTED!>class <!JVM_DEFAULT_THROUGH_INHERITANCE!>ManySupers3<!><!>: Bar2(), C {
+<!MANY_IMPL_MEMBER_NOT_IMPLEMENTED!>class ManySupers3<!>: Bar2(), C {
     fun foo() {
         super<Bar2>.test()
         super<C>.<!USAGE_OF_JVM_DEFAULT_THROUGH_SUPER_CALL!>test<!>()
diff --git a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCallAmbiguity.kt b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCallAmbiguity.kt
index 5d0e9f1393f..50cf1ad9934 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCallAmbiguity.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCallAmbiguity.kt
@@ -10,9 +10,9 @@ interface B{
     }
 }
 
-<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>interface <!JVM_DEFAULT_THROUGH_INHERITANCE!>AB<!><!>: A, B
+<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>interface AB<!>: A, B
 
-<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>interface <!JVM_DEFAULT_THROUGH_INHERITANCE!>BA<!><!>: B, A
+<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>interface BA<!>: B, A
 
 
 interface C : A, B {
diff --git a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCallAmbiguity3.kt b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCallAmbiguity3.kt
index 691f8288efc..1c8212cb2c4 100644
--- a/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCallAmbiguity3.kt
+++ b/compiler/testData/diagnostics/testsWithStdLib/annotations/jvmDefault/superCallAmbiguity3.kt
@@ -9,8 +9,8 @@ interface A {
 interface B{
     fun test()
 }
-<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>interface <!JVM_DEFAULT_THROUGH_INHERITANCE!>AB<!><!> : A, B
-<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>interface <!JVM_DEFAULT_THROUGH_INHERITANCE!>BA<!><!> : B, A
+<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>interface AB<!> : A, B
+<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>interface BA<!> : B, A
 
 class C : A, B {
     override fun test() {
@@ -24,7 +24,7 @@ class D : B, A {
     }
 }
 
-<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>class <!JVM_DEFAULT_THROUGH_INHERITANCE!>E<!><!>: B, A {
+<!MANY_INTERFACES_MEMBER_NOT_IMPLEMENTED!>class E<!>: B, A {
     fun foo() {
         super<A>.<!USAGE_OF_JVM_DEFAULT_THROUGH_SUPER_CALL!>test<!>()
     }
diff --git a/compiler/tests/org/jetbrains/kotlin/jvm/compiler/CompileKotlinAgainstCustomBinariesTest.kt b/compiler/tests/org/jetbrains/kotlin/jvm/compiler/CompileKotlinAgainstCustomBinariesTest.kt
index e432a90c32b..ca014cbf036 100644
--- a/compiler/tests/org/jetbrains/kotlin/jvm/compiler/CompileKotlinAgainstCustomBinariesTest.kt
+++ b/compiler/tests/org/jetbrains/kotlin/jvm/compiler/CompileKotlinAgainstCustomBinariesTest.kt
@@ -553,7 +553,7 @@ class CompileKotlinAgainstCustomBinariesTest : AbstractKotlinCompilerIntegration
             "source.kt",
             tmpdir,
             listOf(library),
-            additionalOptions = listOf("-jvm-target", "1.8", "-Xjvm-default=disable", "-Xjvm-default-allow-non-default-inheritance")
+            additionalOptions = listOf("-jvm-target", "1.8", "-Xjvm-default=disable")
         )
     }