In PR #22, the ability was added to check that the variable type matches the expected types

Исходя из новых возможностей, надо написать тесты для каждого typeProvider4 (https://github.com/VKCOM/kphpstorm/blob/master/src/main/resources/META-INF/plugin.xml#L96)

It should be parsing:
array<T> => T[]
array<TKey, TValue> => TValue[]

It should give an error:
array<>
array<TKey, TValue, THz>

There's nothing stopping us from showing this before we move to a new window

Related with this pr

In one of the last versions of PhpStorm, a PhpReturnDocTypeMismatchInspection check was added, which sometimes gives false positive on our codebase. We already have a KphpReturnTypeMismatchInspection that checks for the same, so the native check needs to be disabled.

However, since when the plugin is updated by the user, new version of the plugin doesn't reinitialize enabled/disabled checks, a situation may arise when users will still have this check enabled.

Ideally, every plugin update, the plugin would run some function that would reinitialize the state of checks and turn off unnecessary ones.

See com.intellij.ide.util.RunOnceUtil

The following types in doc types are valid for KPHP:

ffi_cdata<example, union Foo>
ffi_cdata<example, struct Foo>
ffi_cdata<C, void*>
ffi_cdata<C, const int32_t*>
ffi_cdata<vector, struct Vector2f**>

ffi_scope<vector>
ffi_scope<h3>

KPHPStorm should parse them somehow, not to be error-prone, without type hinting. The easiest way is to treat them as 'any'

Actual

Expected

Example:

After quick fix:

Expected:

Incompatible: requires IDE build 221.* or earlier

Latest stable IDE build: #IU-222.3345.118, built on July 26, 2022

KPHPStorm already has a check for primitives. We need to expand it and add a check for instances of the class.
Sample code:

<?php

declare(strict_types = 1);

function primitive_types() {
  /** @var int|null $type */
  $type = null;

  primitive_fun($type); // error: Can't pass '?int' to 'int' $var

  function primitive_fun(int $var) {
  }
}

function instances_types() {
  class Cls {
  }

  /** @var Cls|null $type */
  $type = null;

  instances_fun($type); // no error or warning

  function instances_fun(Cls $var) {
  }
}

Current check for primitives in KphpParameterTypeMismatchInspection

This problem started as soon as I updated PhpStorm to version 2020.3
I first thought it to be an issue of PhpStorm, but disabling the plugin removed the error

The check should check for @kphp-strict-types-enable over declare(strict_types = 1)

If there is no such comment, you should suggest adding it

See https://www.plugin-dev.com/intellij/general/error-reporting/.