I see, The plugin puts the generated helpers into /vendor/ folder (which is, at least, unexpected).
Thank you for pointing me in the right direction.
Still, I don't see where they found out auth()->user()
returns User
model tho :) I'll keep looking, we'll be implementing similar support for Laravel for VSCode anyways.
edit: it seems it's specified in laravel-idea.xml
settings file or there's some other magic