Skip to editor
Psalm
Docs
Playground
Plugins
Blog
Paid support
Share
Fix issues
Show original
PHP
Settings
<?php /** * @template L * @template R */ interface Either {} /** * @template R * @implements Either<empty, R> */ final class Right implements Either {} /** * @template L * @implements Either<L, empty> */ final class Left implements Either {} /** * @template L * @template R * * @param Either<L, R> $either * @return bool * * @psalm-assert-if-true Left<L> $either * @psalm-assert-if-false Right<L> $either */ function isLeft(Either $either): bool { throw new RuntimeException('???'); } /** @var Either<int, string> $either */ $either = null; if (!isLeft($either)) { /** @psalm-trace $left */ $left = $either; } else { /** @psalm-trace $right */ $right = $either; }
Issues
Types
idle
Saved Feb 18 2021 12:44 UTC
⌘/Ctrl+Enter
run
⌘/Ctrl+S
share
F8
/
⇧F8
next/prev issue