PhpStorm выводит «смешанный» тип в моих типизированных свойствах

Недавно я работал с классами, которые инициализируют себя из массива данных и имеют типизированные свойства, которые устанавливаются со значениями, извлеченными из массива.

Свойства типизированы, что означает, что PHP выдаст ошибку TypeError, если будет передано что-либо, кроме указанного типа.

Однако PhpStorm, похоже, распространяет тип mixed из доступа к массиву в свойство класса.

Я изо всех сил пытаюсь объяснить это словами, поэтому вот пример сценария:

<?php

class TestClass
{
    public readonly string $myString;
    public readonly int $myInt;
    public readonly array $myArray;

    public function __construct(array $src)
    {
        $this->myString = $src['stringVal'];
        $this->myInt = $src['intVal'];
        $this->myArray = $src['array'];
    }
}

$arr = [
    'stringVal' => 123,
    'intVal' => "I am a string",
    'array' => null,
];

$x = new TestClass($arr); // throws TypeError from within the constructor

$y = new TestClass($x->myInt); // PhpStorm doesn't see anything wrong with this???

Вы можете видеть, что есть типы для всех трех свойств. Вы можете посмотреть на сценарий и увидеть, что он потерпит неудачу. Сценарий в том виде, в котором он написан, выдает ошибку TypeError точно так, как вы ожидаете, когда пытается установить $this->myString.

Однако, если я наведу курсор на любое из свойств класса, PhpStorm добавит к свойству тип mixed:

Поскольку PhpStorm обрабатывает все свойства как «x или смешанные», он не видит ничего плохого в явно некорректной последней строке скрипта, где мы пытаемся передать int в конструктор, для которого требуется массив:

Как я могу заставить PhpStorm прекратить вывод mixed этих свойств?

Обновление: это не только mixed исходит из массива, кажется, что PhpStorm просто предполагает, что все, что происходит в конструкторе, является допустимым, независимо от типов свойств (?)

Другой пример:

class TestClass2
{
    public readonly int $myInt;

    public function __construct()
    {
        $this->myInt = "hello world";
    }
}

Конструктор снова выдает ошибку TypeError, как и следовало ожидать. Но PhpStorm, кажется, согласен предположить, что свойство будет принимать строку: