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

// test: assert with OR instanceof narrows to union of both types
// feature: completion
// Adapted from phpactor general/narrowing.test (t5)
// expect: barMethod(
// expect: bazMethod(
---
<?php

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

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

function test($f): void {
    assert($f instanceof Bar || $f instanceof Baz);
    $f-><>
}