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

// test: instanceof narrows to intersection when narrowing target is an unrelated interface
// feature: completion
// expect: canBeRefunded(
// expect: shouldReceive(
---
<?php

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

class MolliePayment {
    public function canBeRefunded(): bool { return true; }
}

class TestCase {
    public function getPayment(): MolliePayment {}

    public function test(): void {
        $payment = $this->getPayment();
        assert($payment instanceof MockInterface);
        $payment-><>
    }
}