[FIR] KT-58719: Check all imported declarations for visibility

Unfortunately, we have to check
callables even if the class is
inaccessible.

^KT-58719 Fixed

compiler/fir/checkers/src/org/jetbrains/kotlin/fir/analysis/checkers/declaration/FirImportsChecker.kt

@@ -103,25 +103,33 @@ object FirImportsChecker : FirFileChecker() {
             return
         }
 
-        val resolvedClassSymbol = ClassId.topLevel(importedFqName).resolveToClass(context)
+        var resolvedDeclaration: FirMemberDeclaration? = null
 
-        if (resolvedClassSymbol != null) {
+        ClassId.topLevel(importedFqName).resolveToClass(context)?.let {
-            if (!resolvedClassSymbol.fir.isVisible(context)) {
+            resolvedDeclaration = it.fir
-                reporter.reportOn(import.getSourceForImportSegment(0), FirErrors.INVISIBLE_REFERENCE, resolvedClassSymbol, context)
+
+            if (it.fir.isVisible(context)) {
+                return
             }
-
-            return
         }
 
         // Note: two checks below are both heavyweight, so we should do them lazily!
 
         val topLevelCallableSymbol = symbolProvider.getTopLevelCallableSymbols(importedFqName.parent(), importedName)
-        if (topLevelCallableSymbol.isNotEmpty()) {
+
-            if (topLevelCallableSymbol.none { it.fir.isVisible(context) }) {
+        for (it in topLevelCallableSymbol) {
-                val source = import.getSourceForImportSegment(0)
+            if (it.fir.isVisible(context)) {
-                reporter.reportOn(source, FirErrors.INVISIBLE_REFERENCE, topLevelCallableSymbol.first(), context)
+                return
             }
 
+            if (resolvedDeclaration == null) {
+                resolvedDeclaration = it.fir
+            }
+        }
+
+        resolvedDeclaration?.let {
+            val source = import.getSourceForImportSegment(0)
+            reporter.reportOn(source, FirErrors.INVISIBLE_REFERENCE, it.symbol, context)
             return
         }
 

compiler/testData/diagnostics/tests/invisibleClassInsteadOfFun.fir.kt

@@ -14,7 +14,7 @@ fun <RowType : Any> QueryPagingSource(randomParam: Int) {}
 
 package main
 
-import pagind.<!INVISIBLE_REFERENCE!>QueryPagingSource<!>
+import pagind.QueryPagingSource
 
 fun test() {
     QueryPagingSource<Int>(10)