更新日志 1.7.0 — 2023 年 10 月 23 日¶

重要变更¶

非正整数

可以使用非正整数，如下所示。它将接受任何等于或小于零的值。

final class SomeClass
{
    /** @var non-positive-int */
    public int $nonPositiveInteger;
}

非负整数

可以使用非负整数，如下所示。它将接受任何等于或大于零的值。

final class SomeClass
{
    /** @var non-negative-int */
    public int $nonNegativeInteger;
}