Using mongodb dot notation in the filter stage shouldn't show type errors

[JetLua]

import {MongoClient} from 'npm:mongodb'

const client = new MongoClient('')

const db = client.db('db')

const col = db.collection<{
  user: {
    name: string
  }
}>('col')

col.find({'user.name': 'deno'}) // deno-ts(2769)

No overload matches this call.
  Overload 1 of 3, '(filter: Filter<{ user: { name: string; }; }>, options?: FindOptions<Document> | undefined): FindCursor<WithId<{ user: { name: string; }; }>>', gave the following error.
    Object literal may only specify known properties, and ''user.name'' does not exist in type 'Filter<{ user: { name: string; }; }>'.  Overload 2 of 3, '(filter: Filter<{ user: { name: string; }; }>, options?: FindOptions<Document> | undefined): FindCursor<Document>', gave the following error.
    Object literal may only specify known properties, and ''user.name'' does not exist in type 'Filter<{ user: { name: string; }; }>'.deno-ts(2769)

Version: Deno 1.44.4