wip

src/main/kotlin/com/vk/kphpstorm/generics/GenericFunctionCall.kt

@@ -261,6 +261,9 @@ class ResolvingGenericFunctionCall(project: Project) : ResolvingGenericBase(proj
 
     override fun unpackImpl(packedData: String): Boolean {
         val firstSeparatorIndex = packedData.indexOf("@@")
+        if (firstSeparatorIndex == -1) {
+            return false
+        }
         val functionName = packedData.substring(0, firstSeparatorIndex)
 
         val remainingPackedData = packedData.substring(firstSeparatorIndex + "@@".length)
@@ -332,9 +335,9 @@ class ResolvingGenericMethodCall(project: Project) : ResolvingGenericBase(projec
         // for IDE we return PhpType "A"|"A<T>", that's why
         // A<A<T>> is resolved as "A"|"A<A/A<T>>", so if pipe — search for instantiation
         val instantiation = when (parsed) {
-            is ExPhpTypePipe     -> parsed.items.firstOrNull { it is ExPhpTypeTplInstantiation }
+            is ExPhpTypePipe -> parsed.items.firstOrNull { it is ExPhpTypeTplInstantiation }
             is ExPhpTypeNullable -> parsed.inner
-            else                 -> parsed
+            else -> parsed
         } as? ExPhpTypeTplInstantiation ?: return false
 
         classGenericType = instantiation
@@ -399,7 +402,8 @@ class GenericFunctionCall(call: FunctionReference) {
     val genericTs = mutableListOf<String>()
     private val parameters = mutableListOf<Parameter>()
     private val callArgs = call.parameters
-    private val argumentsTypes = callArgs.filterIsInstance<PhpTypedElement>().map { it.type.global(project).toExPhpType() }
+    private val argumentsTypes =
+        callArgs.filterIsInstance<PhpTypedElement>().map { it.type.global(project).toExPhpType() }
 
     val explicitSpecsPsi = findInstantiationComment(call)
 

src/main/kotlin/com/vk/kphpstorm/typeProviders/TupleShapeTypeProvider.kt

@@ -120,7 +120,14 @@ class TupleShapeTypeProvider : PhpTypeProvider4 {
      * So, we decode indexKey, know a complete lhs type and call [ExPhpType.getSubkeyByIndex]
      */
     override fun complete(incompleteTypeStr: String, project: Project): PhpType? {
+        if (!incompleteTypeStr.startsWith("#Й")) {
+            return null
+        }
         val spacePos = incompleteTypeStr.indexOf(' ')
+        if (spacePos == -1) {
+            return null
+        }
+
         val indexKey = incompleteTypeStr.substring(3, spacePos)
         val lhsTypeStr = incompleteTypeStr.substring(spacePos + 1)
         val wholeType = PhpType().add(lhsTypeStr).global(project)

src/test/fixtures/generics/class-string.fixture.php

@@ -36,5 +36,3 @@ function get_children() {
     $children2_array = filter_is_instance($base_array, Child2::class);
     expr_type($children2_array, "\Classes\Child2[]");
 }
-
-

src/test/fixtures/generics/class_implicit.fixture.php

@@ -107,7 +107,7 @@ function nullable($arg) {
 
     "Импортированный класс из пространства имен"; {
         $a = mirror(nullable(new B()));
-        expr_type($a, "\Classes\B|null");
+        expr_type($a, "null|\Classes\B");
     }
 
     "Импортированный класс из пространства имен с алиасом"; {
@@ -139,7 +139,7 @@ function nullable($arg) {
 
     "Импортированный класс из пространства имен с алиасом как у глобально класса + Глобальный класс с именем как у локального алиаса для другого класса"; {
         $a = mirror(new GlobalD() ?? new \GlobalD());
-        expr_type($a, "\GlobalD|\Classes\D");
+        expr_type($a, "\Classes\D|\GlobalD");
     }
 }
 

src/test/fixtures/generics/class_resolving.fixture.php

@@ -92,7 +92,7 @@ function mirror($arg) {
 
     "Класс из пространства имен"; {
         $a = mirror/*<?\Classes\A>*/(new \Classes\A());
-        expr_type($a, "null|\Classes\A");
+        expr_type($a, "\Classes\A|null");
     }
 
     "Импортированный класс из пространства имен"; {
@@ -102,24 +102,24 @@ function mirror($arg) {
 
     "Импортированный класс из пространства имен с алиасом"; {
         $a = mirror/*<?GlobalC>*/(new GlobalC);
-        expr_type($a, "null|\Classes\C");
+        expr_type($a, "\Classes\C|null");
     }
 
     "Импортированный класс из пространства имен с алиасом как у глобально класса"; {
         $a = mirror/*<?GlobalD*/(new GlobalD());
-        expr_type($a, "null|\Classes\D");
+        expr_type($a, "\Classes\D|null");
     }
 
     "Глобальный класс с именем как у локального алиаса для другого класса"; {
         $a = mirror/*<?\GlobalD*/(new \GlobalD());
-        expr_type($a, "null|\GlobalD");
+        expr_type($a, "\GlobalD|null");
     }
 }
 
 "Union"; {
     "Класс из глобального скоупа + Класс из пространства имен"; {
         $a = mirror/*<GlobalA|\Classes\A>*/(new GlobalA());
-        expr_type($a, "\GlobalA|\Classes\A");
+        expr_type($a, "\Classes\A|\GlobalA");
     }
 
     "Импортированный класс из пространства имен + Импортированный класс из пространства имен с алиасом"; {
@@ -129,7 +129,7 @@ function mirror($arg) {
 
     "Импортированный класс из пространства имен с алиасом как у глобально класса + Глобальный класс с именем как у локального алиаса для другого класса"; {
         $a = mirror/*<GlobalD|\GlobalD*/(new GlobalD());
-        expr_type($a, "\GlobalD|\Classes\D");
+        expr_type($a, "\Classes\D|\GlobalD");
     }
 }
 

src/test/fixtures/generics/primitives_explicit.fixture.php

@@ -55,8 +55,8 @@ function combine($a1, $a2) {
 
 "Примитивные типы в комплексных"; {
     $a = combine/*<string, tuple(int, string)>*/("", tuple(1, ""));
-    expr_type($a, "tuple(int,string)|string");
+    expr_type($a, "string|tuple(int,string)");
 
     $a1 = combine/*<string[], shape(key1: int, key2: ?string)>*/([""], shape(["key1" => 1, "key2" => ""]));
-    expr_type($a1, "string[]|shape(key1:int,key2:?string)");
+    expr_type($a1, "shape(key1:int,key2:?string)|string[]");
 }

src/test/fixtures/generics/primitives_implicit.fixture.php

@@ -54,9 +54,9 @@ function combine($a1, $a2) {
 }
 
 "Примитивные типы в комплексных"; {
-    $a = combine("", tuple(1, ""));
-    expr_type($a, "tuple(int,string)|string");
+//    $a = combine("", tuple(1, true));
+//    expr_type($a, "string|tuple(int,bool)");
 
-    $a1 = combine([""], shape(["key1" => 1, "key2" => ""]));
-    expr_type($a1, "string[]|shape(key1:int,key2:string)");
+//    $a1 = combine([""], shape(["key1" => 1, "key2" => $a]));
+//    expr_type($a1, "string[]|shape(key1:int,key2:string)");
 }

src/test/fixtures/generics/simple_functions.fixture.php

@@ -81,21 +81,21 @@ function mirror($arg) {
 
       "Nullable"; {
         $a1 = mirror/*<?string>*/("hello");
-        expr_type($a1, "string|null");
+        expr_type($a1, "null|string");
 
         $a2 = mirror/*<?int>*/(1);
-        expr_type($a2, "null|int");
+        expr_type($a2, "int|null");
       }
 
       "Union"; {
         $a1 = mirror/*<int|string>*/("hello");
         expr_type($a1, "int|string");
 
         $a2 = mirror/*<float|bool>*/(1.5);
-        expr_type($a2, "float|bool");
+        expr_type($a2, "bool|float");
 
         $a3 = mirror/*<float|bool>*/(1.5);
-        expr_type($a3, "float|bool");
+        expr_type($a3, "bool|float");
       }
 
       "tuple"; {
@@ -135,24 +135,24 @@ function mirror($arg) {
         expr_type($a1, "\GlobalA|null");
 
         $a2 = mirror/*<?\Classes\A>*/([new \Classes\A()]);
-        expr_type($a2, "null|\Classes\A");
+        expr_type($a2, "\Classes\A|null");
 
         $a3 = mirror/*<?B>*/([new B()]);
-        expr_type($a3, "null|\Classes\B");
+        expr_type($a3, "\Classes\B|null");
 
         $a4 = mirror/*<?GlobalC>*/([new GlobalC]);
-        expr_type($a4, "null|\Classes\C");
+        expr_type($a4, "\Classes\C|null");
       }
 
       "Union"; {
         $a1 = mirror/*<\GlobalA|\Classes\A>*/("hello");
-        expr_type($a1, "\GlobalA|\Classes\A");
+        expr_type($a1, "\Classes\A|\GlobalA");
 
         $a2 = mirror/*<B|GlobalC>*/(1.5);
         expr_type($a2, "\Classes\B|\Classes\C");
 
         $a3 = mirror/*<\Classes\A|\GlobalC>*/(1.5);
-        expr_type($a3, "\GlobalC|\Classes\A");
+        expr_type($a3, "\Classes\A|\GlobalC");
       }
 
       "tuple"; {

src/test/fixtures/generics/tests.php

@@ -0,0 +1,30 @@
+<?php
+/** @noinspection FunctionUnnecessaryExplicitGenericInstantiationListInspection */
+/** @noinspection PhpUndefinedFunctionInspection */
+/** @noinspection PhpExpressionResultUnusedInspection */
+
+
+/**
+ * @kphp-generic T
+ * @param T $arg
+ * @return T
+ */
+function nullable($arg) {
+    if (0) return null;
+    return $arg;
+}
+
+/**
+ * @kphp-generic T
+ * @param T $arg
+ * @return T
+ */
+function mirror($arg) {
+    return $arg;
+}
+
+$a1 = mirror([new GlobalA()]);
+expr_type($a1, "\GlobalA[]");
+
+
+

src/test/kotlin/com/vk/kphpstorm/testing/infrastructure/TypeTestBase.kt

@@ -7,6 +7,7 @@ import com.jetbrains.php.lang.psi.elements.PhpTypedElement
 import com.jetbrains.php.lang.psi.elements.StringLiteralExpression
 import com.jetbrains.php.lang.psi.visitors.PhpElementVisitor
 import com.vk.kphpstorm.configuration.KphpStormConfiguration
+import com.vk.kphpstorm.exphptype.ExPhpTypePipe
 import com.vk.kphpstorm.exphptype.PsiToExPhpType
 import com.vk.kphpstorm.helpers.toExPhpType
 
@@ -47,7 +48,13 @@ abstract class TypeTestBase : BasePlatformTestCase() {
         val expectedTypePsi = call.parameters.last() as StringLiteralExpression
         val expectedType = expectedTypePsi.contents
         val type = expr.type.global(myFixture.project).toExPhpType()?.let { PsiToExPhpType.dropGenerics(it) }
-        val typeString = type.toString()
+
+        val sortedType = if (type is ExPhpTypePipe)
+            ExPhpTypePipe(type.items.sortedBy { it.toString() })
+        else type
+
+        val typeString = sortedType.toString().ifEmpty { "<empty>" }
+
         // TODO: add location (line and test name)
         check(typeString == expectedType) {
             "Type mismatch. Expected: $expectedType, found: $typeString"