PHPStan 0.12 でGenericsが使えるようになった #PHP

PHPStan 0.12 がリリースされていた。
https://medium.com/@ondrejmirtes/phpstan-0-12-released-f1a88036535d
和訳 https://www.phper.ninja/entry/2019/12/06/032456

ただし、ここで気軽にcomposer updateしてしまうと、大量のエラーに遭遇することになる。（設定レベルにもよるが）
PHPStan 0.12 ではレベルが一つ増えているが、以前の最大値7の次の8が追加されたのではなく、6が追加されて 6 と 7 が 7 と 8 にずれた。
つまり以前の「nullable型のメソッド呼び出しとプロパティアクセスを報告」のレベルを保持するためには新しく追加された「6: 欠落した型ヒント」を先に全て満たす必要がある。

今までタイプヒント無しで逃げていた部分やarray、stdClassでお茶を濁していた部分も正確に指定する必要があるようだ。

それを乗り越えると（別に乗り越えなくてもGenericsは使えるが）、例えば以前書いたプログラムは

Type/HasValue.php

<?php
namespace MyProject\Type;
/**
 * @template T
 */
interface HasValue {
    /** @return ?T */
    public function getValue();
}

Input/Value.php

<?php
namespace MyProject\Input;
use MyProject\Type;

/**
 * @template T
 * @implements Type\HasValue<T>
 */
abstract class Value implements Type\HasValue {
    /** @var string */
    public $name;
    /** @var ?string */
    public $input;
    /** @var ?T */
    protected $value;

    public function __construct(string $name)
    {
        $this->name = $name;
        $this->input = $_REQUEST[$name] ?: null;

        if ($this->input !== null)
            $this->convert($this->input);
    }
    /** @return void */
    abstract protected function convert(string $input);
    /** @return ?T */
    public function getValue(){ return $this->value; }
}

Input/IntValue.php

<?php
namespace MyProject\Input;

/**
 * @extends Value<int>
 */
class IntValue extends Value {
    protected function convert(string $input){
        if (preg_match('/[0-9]+$/', $input))
            $this->value = (int)$input;
    }

    public function getValue(): ?int { return $this->value; }
}

こんな感じで正しく型コメントを書ける。
前は型を書くためにprotectedにも関わらずスーパークラスとサブクラスの両方に

class IntValue extends Value {
    /** @var ?int */
    protected $value;

と書いていた不要なプロパティが無くなって型と構造が正しくなった。

PHP7.4も出たし、しっかり書く派のPHPプログラムは作り方が全然変わってくるのかもしれないな。
HTMLでの変数にも型が欲しいし、何かもうあと一歩という感じがする。

（追記: 2019-12-11）
試しに、4万行ほどの使いたいプロジェクトで 0.12 にバージョンアップしてみると、エラーが 0 件から 1613 件に…。
ちょっと心折れそうではある。
DBから取得したデータとか、json_decodeとか、テンプレートで使う変数のひとまとまりだとか、フォームリクエスト変数とか、IO境界がつらい。
特にjson_decodeで取得したstdClassがつらい。mixedで逃げてもいいけど、せっかくなので全ての型を書きたいところ…。