Check @mixin from phpdoc

[des1roer]

PHP Version: 7.4

OS: Linux

Run command:

./vendor/bin/noverify check --allow-checks='undefinedMethod' --php7 --baseline='baseline.json' backen

The minimal code in which the bug appears:

$newMessage = BackendKernel::GetKernel()->GetRepositories()->GetFeedBackNewMessages();

/**
 * @return IKernelRepositoryInterface
 */
function GetRepositories();

/**
 * @mixin \backend\Repositories\GetFeedBackMessages
 */
interface IKernelRepositoryInterface
{
}

class GetFeedBackMessages
{
    public function GetFeedBackNewMessages()
    {

Actual Behavior:

ERROR undefinedMethod: Call to undefined method {\backend\modules\crmfo_kernel_api\helpers\IKernelRepositoryInterface}->GetFeedBackNewMessages() at /var/www/crm/backend/views/sales.php:14

Expected Behavior:

Ожидается что миксины корректно учитываются линтером и ошибки нет. PhpStorm их обрабатывает верно

[Optional] Details:

Perhaps additional information that can help us.

[Optional] Steps to Reproduce

If it is required for a better understanding of the problem.