[Analysis API] support unsigned arrays creation functions

IDEA-335151, KT-62663


Merge-request: KT-MR-12614
Merged-by: Alexander Kuznetsov <Aleksander.Kuznetsov@jetbrains.com>

analysis/analysis-api-fe10/src/org/jetbrains/kotlin/analysis/api/descriptors/components/KtFe10CallResolver.kt

@@ -5,7 +5,6 @@
 
 package org.jetbrains.kotlin.analysis.api.descriptors.components
 
-import com.intellij.psi.PsiElement
 import org.jetbrains.kotlin.analysis.api.calls.*
 import org.jetbrains.kotlin.analysis.api.descriptors.Fe10AnalysisFacade.AnalysisMode
 import org.jetbrains.kotlin.analysis.api.descriptors.KtFe10AnalysisSession
@@ -29,7 +28,6 @@ import org.jetbrains.kotlin.analysis.api.signatures.KtFunctionLikeSignature
 import org.jetbrains.kotlin.analysis.api.signatures.KtVariableLikeSignature
 import org.jetbrains.kotlin.analysis.api.types.KtType
 import org.jetbrains.kotlin.analysis.utils.printer.parentOfType
-import org.jetbrains.kotlin.builtins.KotlinBuiltIns
 import org.jetbrains.kotlin.descriptors.*
 import org.jetbrains.kotlin.diagnostics.*
 import org.jetbrains.kotlin.lexer.KtTokens
@@ -548,12 +546,7 @@ internal class KtFe10CallResolver(
     private fun createSignature(symbol: KtSymbol, resultingDescriptor: CallableDescriptor): KtCallableSignature<*>? {
         val returnType = if (resultingDescriptor is ValueParameterDescriptor && resultingDescriptor.isVararg) {
             val arrayType = resultingDescriptor.returnType ?: return null
-            val primitiveArrayElementType = KotlinBuiltIns.getPrimitiveArrayElementType(arrayType)
-            if (primitiveArrayElementType == null) {
-                arrayType.arguments.singleOrNull()?.type
-            } else {
-                analysisContext.builtIns.getPrimitiveKotlinType(primitiveArrayElementType)
-            }
+            analysisContext.builtIns.getArrayElementType(arrayType)
         } else {
             resultingDescriptor.returnType
         }

analysis/analysis-api-fe10/tests-gen/org/jetbrains/kotlin/analysis/api/fe10/test/cases/generated/cases/components/callResolver/Fe10IdeNormalAnalysisSourceModuleResolveCallTestGenerated.java

@@ -862,6 +862,12 @@ public class Fe10IdeNormalAnalysisSourceModuleResolveCallTestGenerated extends A
         runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/unresolvedSuperReference.kt");
     }
 
+    @Test
+    @TestMetadata("unsignedArrayOf.kt")
+    public void testUnsignedArrayOf() throws Exception {
+        runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/unsignedArrayOf.kt");
+    }
+
     @Test
     @TestMetadata("variableAsFunction.kt")
     public void testVariableAsFunction() throws Exception {

analysis/analysis-api-fir/tests-gen/org/jetbrains/kotlin/analysis/api/fir/test/cases/generated/cases/components/callResolver/FirIdeNormalAnalysisSourceModuleResolveCallTestGenerated.java

@@ -862,6 +862,12 @@ public class FirIdeNormalAnalysisSourceModuleResolveCallTestGenerated extends Ab
         runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/unresolvedSuperReference.kt");
     }
 
+    @Test
+    @TestMetadata("unsignedArrayOf.kt")
+    public void testUnsignedArrayOf() throws Exception {
+        runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/unsignedArrayOf.kt");
+    }
+
     @Test
     @TestMetadata("variableAsFunction.kt")
     public void testVariableAsFunction() throws Exception {

analysis/analysis-api-standalone/tests-gen/org/jetbrains/kotlin/analysis/api/standalone/fir/test/cases/generated/cases/components/callResolver/FirStandaloneNormalAnalysisSourceModuleResolveCallTestGenerated.java

@@ -862,6 +862,12 @@ public class FirStandaloneNormalAnalysisSourceModuleResolveCallTestGenerated ext
         runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/unresolvedSuperReference.kt");
     }
 
+    @Test
+    @TestMetadata("unsignedArrayOf.kt")
+    public void testUnsignedArrayOf() throws Exception {
+        runTest("analysis/analysis-api/testData/components/callResolver/resolveCall/unsignedArrayOf.kt");
+    }
+
     @Test
     @TestMetadata("variableAsFunction.kt")
     public void testVariableAsFunction() throws Exception {

analysis/analysis-api/testData/components/callResolver/resolveCall/unsignedArrayOf.kt

@@ -0,0 +1,4 @@
+// WITH_STDLIB
+fun foo() {
+    println(<expr>uintArrayOf(42u)</expr>)
+}

analysis/analysis-api/testData/components/callResolver/resolveCall/unsignedArrayOf.txt

@@ -0,0 +1,28 @@
+KtSuccessCallInfo:
+  call = KtSimpleFunctionCall:
+    isImplicitInvoke = false
+    partiallyAppliedSymbol = KtPartiallyAppliedSymbol:
+      dispatchReceiver = null
+      extensionReceiver = null
+      signature = KtFunctionLikeSignature:
+        receiverType = null
+        returnType = kotlin.UIntArray
+        symbol = kotlin/uintArrayOf(vararg elements: kotlin.UInt): kotlin.UIntArray
+        valueParameters = [
+          KtVariableLikeSignature:
+            name = elements
+            receiverType = null
+            returnType = kotlin.UInt
+            symbol = vararg elements: kotlin.UInt
+            callableIdIfNonLocal = null
+        ]
+        callableIdIfNonLocal = kotlin/uintArrayOf
+    typeArgumentsMapping = {}
+    argumentMapping = {
+      42u -> (KtVariableLikeSignature:
+        name = elements
+        receiverType = null
+        returnType = kotlin.UInt
+        symbol = vararg elements: kotlin.UInt
+        callableIdIfNonLocal = null)
+    }