Fix accessibility check for experimental declarations from default scope

#KT-40919 Fixed

compiler/frontend/src/org/jetbrains/kotlin/resolve/calls/tower/KotlinResolutionStatelessCallbacksImpl.kt

@@ -80,6 +80,7 @@ class KotlinResolutionStatelessCallbacksImpl(
             kotlinCallArgument.psiCallArgument.psiExpression,
             (resolutionCallbacks as? KotlinResolutionCallbacksImpl)?.trace?.bindingContext,
             isSuperCall = false,
+            fromImportingScope = false
         )
 
     override fun isSuperExpression(receiver: SimpleKotlinCallArgument?): Boolean =

compiler/frontend/src/org/jetbrains/kotlin/resolve/deprecation/DeprecationResolver.kt

@@ -64,15 +64,17 @@ class DeprecationResolver(
         descriptor: DeclarationDescriptor,
         call: Call? = null,
         bindingContext: BindingContext? = null,
-        isSuperCall: Boolean = false
+        isSuperCall: Boolean = false,
+        fromImportingScope: Boolean = false
     ): Boolean =
-        isHiddenInResolution(descriptor, call?.callElement, bindingContext, isSuperCall)
+        isHiddenInResolution(descriptor, call?.callElement, bindingContext, isSuperCall, fromImportingScope)
 
     fun isHiddenInResolution(
         descriptor: DeclarationDescriptor,
         callElement: KtElement?,
         bindingContext: BindingContext?,
-        isSuperCall: Boolean
+        isSuperCall: Boolean,
+        fromImportingScope: Boolean
     ): Boolean {
         if (descriptor is FunctionDescriptor) {
             if (descriptor.isHiddenToOvercomeSignatureClash) return true
@@ -83,14 +85,17 @@ class DeprecationResolver(
         if (sinceKotlinAccessibility is SinceKotlinAccessibility.NotAccessible) return true
 
         if (sinceKotlinAccessibility is SinceKotlinAccessibility.NotAccessibleButWasExperimental) {
-            if (callElement != null && bindingContext != null) {
-                return with(ExperimentalUsageChecker) {
+            return if (callElement != null && bindingContext != null) {
+                with(ExperimentalUsageChecker) {
                     sinceKotlinAccessibility.markerClasses.any { classDescriptor ->
                         !callElement.isExperimentalityAccepted(classDescriptor.fqNameSafe, languageVersionSettings, bindingContext)
                     }
                 }
+            } else {
+                // We need a softer check for descriptors from importing scope as there is no access to PSI elements
+                // It's fine to return false here as there will be additional checks for accessibility later
+                !fromImportingScope
             }
-            return true
         }
 
         return isDeprecatedHidden(descriptor)

compiler/frontend/src/org/jetbrains/kotlin/resolve/lazy/LazyImportScope.kt

@@ -235,7 +235,8 @@ class LazyImportScope(
     private fun LazyImportResolver<*>.isClassifierVisible(descriptor: ClassifierDescriptor): Boolean {
         if (filteringKind == FilteringKind.ALL) return true
 
-        if (components.deprecationResolver.isHiddenInResolution(descriptor)) return false
+        // TODO: do not perform this check here because for correct work it requires corresponding PSI element
+        if (components.deprecationResolver.isHiddenInResolution(descriptor, fromImportingScope = true)) return false
 
         val visibility = (descriptor as DeclarationDescriptorWithVisibility).visibility
         val includeVisible = filteringKind == FilteringKind.VISIBLE_CLASSES