[Bug]: type shows as int|mixed on assigned variable when the assigned value from Model shows as int

[cyppe]

Bug description

My model has field 'id' that is int. And it's identified correctly.

But when I assign it to another variable and I hover that variable it shows up as int|mixed.

I don't remember if it always have been this way or if it's new problem. And cannot tell if it's phpstorm or laravel idea problem. I tried both in latest 2025 RC and in latest 2024.x version. Same issue.

Let me know if you have some ideas if you don't consider it a bug in laravel idea.

$value = Market::firstOrFail()->id;

->id shows it's int (correct) when hover it $value shows it's int|mixed when hover it - expected is int

See screenshots:

For whatever it's worth for once vscode/cursor shows more correct type than phpstorm with idea. So below screenshot is same file/code but from Cursor with intelephense.

Plugin version

No response

Operating system

None

Steps to reproduce

No response

Relevant log output