diff --git a/build.gradle.kts b/build.gradle.kts
index a9d55b293eb..c6173b7aaae 100644
--- a/build.gradle.kts
+++ b/build.gradle.kts
@@ -331,6 +331,7 @@ allprojects {
     configureJvmProject(javaHome!!, jvmTarget!!)
 
     val commonCompilerArgs = listOfNotNull(
+        "-Xuse-experimental=kotlin.Experimental",
         "-Xallow-kotlin-package",
         "-Xread-deserialized-contracts",
         "-Xjvm-default=compatibility",
diff --git a/core/descriptors/src/org/jetbrains/kotlin/types/checker/ClassicTypeSystemContext.kt b/core/descriptors/src/org/jetbrains/kotlin/types/checker/ClassicTypeSystemContext.kt
index 2c6945c436d..0fea35e7755 100644
--- a/core/descriptors/src/org/jetbrains/kotlin/types/checker/ClassicTypeSystemContext.kt
+++ b/core/descriptors/src/org/jetbrains/kotlin/types/checker/ClassicTypeSystemContext.kt
@@ -593,7 +593,6 @@ fun Variance.convertVariance(): TypeVariance {
 }
 
 
-@Suppress("EXPERIMENTAL_IS_NOT_ENABLED")
 @UseExperimental(ExperimentalContracts::class)
 fun requireOrDescribe(condition: Boolean, value: Any?) {
     contract {