Differences

This shows you the differences between two versions of the page.

--- rfc:objects-can-be-falsifiable [2022/11/04 00:17] – Fix formatting joshbruce
+++ rfc:objects-can-be-falsifiable [2022/11/04 23:14] (current) – Add static analysis section joshbruce
@@ Line 145: / Line 145: @@
 // ];
 </code>
+===== Notes for static analysis ====
+Validate that the implementation can have both a true and false return, not just one or the other.
 ===== Type juggling tables ====
@@ Line 229: / Line 233: @@
   * How type safe is this really? (desire is to increase type safety - partially by being able to return a single type from a method that resolves to false)
-  * Impact to static analysis. Multiple static analyzers for PHP exist: Phan (Rasmus and Morrison), PHPStan (Mirtes), Psalm (Vimeo), and a general list - https://github.com/exakat/php-static-analysis-tools
+  * RESOLVED (see static analysis section): Impact to static analysis. Multiple static analyzers for PHP exist: Phan (Rasmus and Morrison), PHPStan (Mirtes), Psalm (Vimeo), and a general list - https://github.com/exakat/php-static-analysis-tools
   * Interaction with equality operators.
   * Language around <php>bool|Falsifiable</php> implementation and need.