MongoDB: Collection with field with array content is not introspected with native type `@db.Array`

Take this collection:

[{
  "_id": {
    "$oid": "61e20bbc7fef3b66f439373a"
  },
  "name": "Sports",
  "post_ids": [
    {
      "$oid": "61e20bbc7fef3b66f4393737"
    }
  ]
},{
  "_id": {
    "$oid": "61e20bbd7fef3b66f439373b"
  },
  "name": "Fashion",
  "post_ids": [
    {
      "$oid": "61e20bbc7fef3b66f4393737"
    }
  ]
},{
  "_id": {
    "$oid": "61e20bbd7fef3b66f439373c"
  },
  "name": "Programming",
  "post_ids": [
    {
      "$oid": "61e20bbc7fef3b66f4393737"
    },
    {
      "$oid": "61e20bbc7fef3b66f4393739"
    }
  ]
}]

Introspection result is:

model Category {
  id       String   @id @default(dbgenerated()) @map("_id") @db.ObjectId
  name     String   @unique
  post_ids String[] @db.ObjectId
}

But should be:

model Category {
  id       String   @id @default(dbgenerated()) @map("_id") @db.ObjectId
  name     String   @unique
  post_ids String[] @db.Array(ObjectId)
}

[janpio]

See related internal discussion @matthewmueller: https://www.notion.so/prismaio/Design-discussion-the-Array-native-type-on-MongoDB-c67615379df6453d88d5d7b7e9768966

[matthewmueller]

Closing this issue since introspection is working as expected. I’ll link to another issue if there’s more work to be done.