ForbidNotNormalizedTypeRule: add testcase for never (#194)

shipmonk-rnd · Dec 19, 2023 · baa841c · baa841c
1 parent 103bad2
commit baa841c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/tests/Rule/data/ForbidNotNormalizedTypeRule/code.php b/tests/Rule/data/ForbidNotNormalizedTypeRule/code.php
@@ -35,6 +35,11 @@ class Example
      */
     public $c;
 
+    /**
+     * @var never|null // error: Found non-normalized type (never | null): never is a subtype of null.
+     */
+    public $d;
+
     /**
      * @var I&(A|B) // error: Found non-normalized type (I & (A | B)): this is not disjunctive normal form, use (ForbidNotNormalizedTypeRule\A&ForbidNotNormalizedTypeRule\I)|(ForbidNotNormalizedTypeRule\B&ForbidNotNormalizedTypeRule\I)
      */