phpantom_lsp 0.7.0

Fast PHP language server with deep type intelligence. Generics, Laravel, PHPStan annotations. Ready in an instant.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36

// test: sequential narrowing with negated instanceof and early return inside class method
// feature: completion
// Adapted from phpactor if-statement/multiple_statements_with_class.test
// After negated instanceof Bar with early return, only Foo remains from the Foo|Bar union
// expect: fooMethod(
// expect_absent: barMethod(
---
<?php

class Bar {
    public function barMethod(): void {}
}

class Baz {
    public function bazMethod(): void {}
}

class Foo {
    public function fooMethod(): void {}

    function test(Foo|Bar $foo): void
    {
        if (!$foo instanceof Bar) {
            return;
        }

        // $foo is narrowed to Bar here, but we test the else path:
        // after the negated check + return, only Foo remains
    }
}

function testOutside(Foo|Bar $foo): void {
    if (!$foo instanceof Bar) {
        $foo-><>
    }
}