Fix #4306 - negating positive-numeric is useless, avoid crash

src/Psalm/Internal/Type/NegatedAssertionReconciler.php

@@ -67,6 +67,10 @@ class NegatedAssertionReconciler extends Reconciler
             );
         }
 
+        if ($is_equality && $assertion === 'positive-numeric') {
+            return $existing_var_type;
+        }
+
         if (!$is_equality) {
             if ($assertion === 'isset') {
                 if ($existing_var_type->possibly_undefined) {

tests/TypeReconciliation/ValueTest.php

@@ -775,6 +775,12 @@ class ValueTest extends \Psalm\Tests\TestCase
                         if ($foo) {}
                     }',
             ],
+            'allowCheckOnPositiveNumericInverse' => [
+                '<?php
+                    function foo(int $a): void {
+                        if (false === ($a > 1)){}
+                    }'
+            ],
         ];
     }