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

// test: instanceof on LHS of && narrows type on RHS within the condition
// feature: completion
// expect: fullUrlIs(
// expect: is(
---
<?php

class SymfonyRequest {
    public function getUri(): string { return ''; }
}

class LaravelRequest extends SymfonyRequest {
    public function fullUrlIs(string $pattern): bool { return true; }
    public function is(string $pattern): bool { return true; }
}

function decrypt(SymfonyRequest $request): SymfonyRequest {
    $except = '/foo';
    if ($request instanceof LaravelRequest && ($request-><>fullUrlIs($except) || $request->is($except))) {
        return $request;
    }
    return $request;
}