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

// test: assert instanceof narrows abstract type to concrete subclass
// feature: completion
// Adapted from phpactor combination/narrow_abstract.test
// expect: fooMethod(
---
<?php

abstract class AbstractFoo {}

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

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