Extending a vendor method with "Closure" argument and no signature

[MidnightDesign]

A dependency of ours has a method that looks something like this:

    /**
     * @param \Closure $renderChildrenClosure
     */
    public static function renderStatic(\Closure $renderChildrenClosure);

I want to use the new checkMissingCallableSignature option, but PHPStan now reports

Method MyImplementation::renderStatic() has parameter $renderChildrenClosure with no signature specified for Closure.

for my implementation of that method.

I've tried annotating the argument in my implementation with Closure(): mixed and Closure(): void (and same with callable instead of Closure) but then I get the error

Parameter #2 $renderChildrenClosure (Closure(): mixed) of method MyImplementation::renderStatic() should be contravariant with parameter $renderChildrenClosure (Closure) of method VendorClass::renderStatic()

Is there a solution for that problem? (Aside from opening a pull request for the vendor library or suppressing the error)

I've created an example on the playground, but I couldn't find an option to enable that flag there.

[dktapps]

You can probably fix this using a stub file.

[MidnightDesign]

That works like a charm. Thanks!