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

// test: generic narrowing with @phpstan-assert and class-string<T> resolves type
// feature: completion
// Adapted from phpactor narrowing/narrow-generic.test

// expect: fooMethod(
---
<?php

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

final class Assert
{
    /**
     * @template ExpectedType of object
     * @param class-string<ExpectedType> $expected
     * @phpstan-assert ExpectedType $actual
     */
    public static function assertFoobar(string $expected, object $actual): void
    {
    }
}

function foo(object $obj): void {
    Assert::assertFoobar(Foobar::class, $obj);
    $obj-><>
}