PHPStan extends PHP's native type system through PHPDoc annotations to enable strict static analysis. The guide covers pseudo-types for strings (non-empty-string, literal-string), numbers (positive-int, int<min,max>), arrays (list<T>, array shapes), object shapes, generics with @template, conditional types, and type assertions. Show more