1.7.0

Notable changes

Non-positive integer

Non-positive integer can be used as below. It will accept any value equal to or lower than zero.

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

Non-negative integer

Non-negative integer can be used as below. It will accept any value equal to or greater than zero.

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

Features

• Handle non-negative integer type (f444ea)
• Handle non-positive integer type (53e404)

Bug Fixes

• Add missing @psalm-pure annotation to pure methods (004eb1)
• Handle comments in classes when parsing types imports (3b663a)

Other

• Add comment for future PHP version change (461898)
• Fix some typos (5cf8ae)
• Make NativeBooleanType a BooleanType (d57ffa)