[Feature]: Eloquent, if model can be inferred, show a squiggly underline warning on non-existing properties

[dac514]

Feature Description

I'm coming from PhpStorm / Laravel Idea, and one feature that I am missing is a visual alert for Eloquent model properties that do not exist.

So let's say I have a model:

/** @var \App\Models\Foobar $x */ 
$x->id;   // This exists
$x->xxx; // This does not

The extension can autocomplete just fine, but it does not show any IDE warning that xxx is garbage.

Does this feature already exists and I'm doing something wrong?

Thanks.