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

// test: assert instanceof intersects interface showing members from both types
// feature: completion
// Adapted from phpactor combination/intersect_interface.test
// After assert($foo instanceof Foobar) then assert($foo instanceof Baz),
// PHPantom shows members from both Foobar and Baz (union semantics)
// expect: fooMethod(
// expect: bazMethod(
---
<?php

abstract class AbstractFoo {}

interface Baz {
    public function bazMethod(): void;
}

class Foobar extends AbstractFoo implements Baz {
    public function fooMethod(): void {}
    public function bazMethod(): void {}
}

function foo(AbstractFoo $foo): void {
    assert($foo instanceof Foobar);
    assert($foo instanceof Baz);
    $foo-><>
}