Revert "feat: narrow ResultInterface to concrete implementation after…

… calling `isSucceeded()` and `isFailed()` (#466)" (#469) This reverts commit d211454.
azjezz · Apr 19, 2024 · 79eb271 · 79eb271
1 parent d211454
commit 79eb271
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 46 deletions.
diff --git a/src/Psl/Result/ResultInterface.php b/src/Psl/Result/ResultInterface.php
@@ -115,8 +115,6 @@ public function getThrowable(): Throwable;
      * @return bool - `true` if the operation succeeded; `false` otherwise
      *
      * @psalm-mutation-free
-     *
-     * @psalm-assert-if-true Success<T> $this
      */
     public function isSucceeded(): bool;
 
@@ -128,8 +126,6 @@ public function isSucceeded(): bool;
      * @return bool - `true` if the operation failed; `false` otherwise
      *
      * @psalm-mutation-free
-     *
-     * @psalm-assert-if-true Failure<T> $this
      */
     public function isFailed(): bool;
 

diff --git a/tests/static-analysis/Result/result_interface.php b/tests/static-analysis/Result/result_interface.php