<?php declare(strict_types = 1);
public int $type;
public function __construct(string $type)
$this->type = $type;
Here, assigning a string to an integer is not detected by PHP Tools. PHPStan does detect:
Property Dummy01::$type (int) does not accept string.
Please make PHP Tools aware of assigning wrong types.