Should TypeScript be enforcing types for 'where' clause in findAll?

[JohnRoseDev]

Looking at the underlying types of the findAll method, I was expecting TypeScript to complain about inexistent key names in the where clause but it doesn't:

const records = await Model.findAll({ where: { inexistentField: 'value' } });
// TS does not check for the existence of inexistentField

Hovering over the where attribute, my ide shows: where: WhereOptions<any> | undefined, confirming that TS has no clue about the model we're operating on.

But shouldn't the findAll method be able to infer the type of the model it was called on?

public static findAll<M extends Model>( this: ModelStatic<M>, options?: FindOptions<Attributes<M>>): Promise<M[]>;

Explicitly passing the model class as a generic doesn't help either:

const records = await Model.findAll<ModelClass>({ where: { inexistentField: 'value' } }); // still no ts complaint