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: if instanceof narrows to intersection when existing type is an unrelated interface
// feature: completion
// expect: id
// expect: shouldReceive(
---
<?php

interface MockInterface {
    public function shouldReceive(string $name): self;
}

class MolliePayment {
    /** @var string */
    public string $id;
    public function canBeRefunded(): bool { return true; }
}

class TestCase {
    /** @return MockInterface */
    public function mock(string $class): MockInterface {}

    public function test(): void {
        $molliePayment = $this->mock(MolliePayment::class);
        if ($molliePayment instanceof MolliePayment) {
            $molliePayment-><>
        }
    }
}