Property '[Kind]' is missing in type 'TObject<TProperties>'

[jtlapp]

I'm looking into creating a TypeBox adapter for sveltekit-superforms, basing it on my typebox-validators library.

typebox-validators defines the following class:

export abstract class AbstractValidator<S extends TSchema> {
  ...
}

My adapter defines the following function:

import type { TObject } from "@sinclair/typebox";
import type { AbstractValidator } from "typebox-validators";
import type { superValidate as superformsSuperValidate } from "sveltekit-superforms/server";

export function superValidate<T extends TObject, M = any>(
  validator: AbstractValidator<T>
): ReturnType<typeof superformsSuperValidate<any, M>> {
  ...
}

However, I get the following TS error on the T in AbstractValidator<T>:

Type 'T' does not satisfy the constraint 'TSchema'.
  Property '[Kind]' is missing in type 'TObject<TProperties>' but required in type 'TSchema'.ts(2344)

I get the same error replacing T extends TObject with T extends TSchema.

Is this because there will be two definitions of the Kind symbol, one for typebox-validators, and one for the local package?

What is the appropriate way to deal with the problem?

[jtlapp]

The problem is that typebox-validators has a dependency on Typebox 0.28.x, whereas Typebox 0.29.x+ is incompatible.

I updated typebox-validators to the latest version of Kysely. Spent most of the day tracking this down. Sheesh.