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

// test: multiple if blocks with early return progressively narrow union type
// feature: completion
// Adapted from phpactor general/narrowing.test and if-statement/multiple_statements.test
// expect: birdMethod(
// expect_absent: dogMethod(
// expect_absent: catMethod(
---
<?php

class Dog {
    public function dogMethod(): void {}
}

class Cat {
    public function catMethod(): void {}
}

class Bird {
    public function birdMethod(): void {}
}

function test(Dog|Cat|Bird $animal): void {
    if ($animal instanceof Dog) {
        return;
    }

    if ($animal instanceof Cat) {
        return;
    }

    $animal-><>
}