Implicit generic type on slot children

[spladug]

Hi, I have a parent/child pair of generic components (DataTable<T> and DataTableColumn<T>) where I want to tie the type parameter together implicitly when the child is used in a slot, like so:

<DataTable :data="arrayOfT">
  <DataTableColumn>
    <template #body="{ row }">
      {{ row.someFieldOnTypeT }}
    </template>
  </DataTableColumn>
</DataTable>

where DataTable looks like:

<script lang="ts" setup generic="T">
defineProps<{
  data: T[]
}>()

// ... provide stuff for taking column registrations from the children ...
</script>

<template>
  <!-- ... -->
  <tr v-for="row in data"  ...>
    <td v-for="col in columns" ...>
      <component :is="col.body" :row="row" />
    </td>
  </tr>
  <!-- ... -->
</template>

and DataTableColumn is:

<script lang="ts" setup generic="T">
// .. inject stuff for registering with the parent ...
defineSlots<{
  body: (ctx: { row: T }) => any,
}>()
</script>

<template></template>

I want the type of row to be inferred from the type of :data so I can get proper typechecking in templates for usage of the row type.

I saw #8015 and it seems like a similar use case, but the best I figured out was to put <!-- @vue-generic {MyArrayElementType} --> before each DataTableColumn definition which is pretty unfortunate. I've also tried changing the defineSlots() definition to have return types other than any to no success.

I'm using Vue 3.5.13 and vue-tsc 2.2.2.

Is there a way to infer the type through automatically?