Hi there, I'll explain first the bug and then a solution the extension's LSP could provide out-of-the-box:
Problem: Whenever you import a class with same name as the class you're currently in it doesn't complain about errors, neither do the default which is using the "(auto FQN)" thing.
My proposed solution: Otherwise, will be good to validate this if the extension already offers this, for me will be better to still import the class but with a different name, like
use Illuminate\Database\Eloquent\Model as EloquentModel; reusing parent namespace as prefix.
And fallback to "auto FQN" in case of a simple namespace like
\ReflectionClass or any other class that cannot apply this