feat: add support for Redis facade

[canvural]

Closes #581
Closes #14

I'll update the PR once the new PHPStan version is released.

[szepeviktor]

What a simple solution!

[canvural]

What a simple solution!

Indeed. Thanks to the @mixin support in PHPStan

I think with this way we will finally have a solution to #203 But it'll be time-consuming to add the annotation to every class.

[mfn]

Is there anything the laravel project could do to improve this? For example they are using @mixin too in some of their phpdoc (https://github.com/laravel/framework/blob/0b12ef19623c40e22eff91a4b48cb13b3b415b25/src/Illuminate/Queue/Capsule/Manager.php#L11 and others).

[canvural]

@mfn @mixin should be on the facade class to be able to understand the calls like Redis::lrange

Laravel usually has @see annotations on their facades. Maybe those can be replaced with @mixin instead 🤔 That way both IDE's can autocomplete facade method calls, and static analyzers will be happy.

[szepeviktor]

@canvural We are almost out of problems!

[canvural]

@canvural We are almost out of problems!

That's a problem!

[mfn]

Laravel usually has @see annotations on their facades.

I kind of read it but didn't realize until I saw a Laravel PR today which added annotations for method and I saw on the boundary the @see annotation. Now I got it.

Bold idea: add a temp source hack to see what happens if phpstan/larastan interprets @see as mixin for once :)

[mfn]

We are almost out of problems!

I'm sure I can create new ones soon 😝