How to properly type hint custom BaseModel so IDE recognizes child model class instead of BaseModel?

[mrvipchien]

I have a custom BaseModel that extends Illuminate\Database\Eloquent\Model, and I want PHPStorm (and other IDEs) to correctly recognize the return type of Eloquent methods when called on child models.

Current issue:
When I write: $post = Post::query()->first();

The IDE thinks $post is an instance of BaseModel instead of Post.

My current code:

<?php

namespace App\Models;

use Illuminate\Database\Eloquent\Factories\HasFactory;
use Illuminate\Database\Eloquent\Model;

class BaseModel extends Model
{
    use HasFactory;
}

And my child model:

class Post extends BaseModel
{
    // ... model implementation
}

Expected:
I want the IDE to recognize that:

• Post::query() returns Builder<Post>

• Post::first() returns Post|null

• Post::find($id) returns Post|null

• etc.