diff --git a/README.md b/README.md index a5213d5..6681e4e 100644 --- a/README.md +++ b/README.md @@ -600,11 +600,18 @@ function example($unknown) { ``` ### forbidNotNormalizedType -- Reports any PhpDoc or native type that is not normalized, which can be: +- Reports PhpDoc or native type that is not normalized, which can be: - when child and parent appears in its union or intersection - when same type appears multiple times in its union or intersection - when DNF is not used - configurable by `checkDisjunctiveNormalForm` + - supports: + - parameter typehints & `@param` phpdoc + - return typehint & `@return` phpdoc + - property typehint & `@var` phpdoc + - inline `@var` phpdoc + - `@throws` phpdoc + - multi-catch statements - Main motivation here is that PHPStan normalizes all types before analysis, so it is better to see it in codebase the same way PHPStan does ```php