Bug report

Hello,

I'm using Couchbase_v3 on my project (as per "Jetbrain Couchbase_v3 stub") and Phpstan is seeing errors by mismatching both extension:

152 Method Couchbase\BucketManager::flush() invoked with 1 parameter, 0 required.

This error is indeed valid for Couchbase extension (v2):

    /**
     * Flushes the bucket (clears all data)
     */
    public function flush() {}

However this incorrect when your project is using Couchbase_v3 (SDK 3):

    public function flush(string $name) {}

Is there a way to tell Phpstan not to refer to Couchbase stub but to Couchbase_v3 stub ?

Code snippet that reproduces the problem

Snipped posted above

Expected output

Output posted above

Did PHPStan help you today? Did it make you happy in any way?