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

// test: union && instanceof with else narrows types after early return
// feature: completion
// Adapted from phpactor if-statement/union_and_else.test
// After instanceof A && instanceof B with early return, remaining branches still have members
// expect: fooMethod(
// expect: barMethod(
// expect: bazMethod(
---
<?php

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

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

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

function test(Foobar|Barfoo|Bazboo $foobar): void {
    if ($foobar instanceof Foobar && $foobar instanceof Barfoo) {
        return;
    }

    $foobar-><>
}