How to check if a schema conforms? about typebox HOT 3 CLOSED

import { Type, TObject, TString } from '@sinclair/typebox'

type Allowed = TObject<{ [key: string]: TString }>

function doSomething<T extends Allowed>(schema: T) { /* ... */ }

//good
doSomething(Type.Object({}));
doSomething(Type.Object({
  foo: Type.String(),
  bar: Type.String(),
}));

//bad
doSomething(Type.Number());
doSomething(Type.Object({
  foo: Type.Number(),
});
doSomething(Type.Object({
  foo: Type.Object({
    bar: Type.String(),
  }),
}));

type SchemaFor<T> = T extends string ? ReturnType<typeof Type.String>
  : T extends number ? ReturnType<typeof Type.Number>
  : T extends boolean ? ReturnType<typeof Type.Boolean>
  : T extends object ? TObject<{ [P in keyof T]: SchemaFor<T[P]> }>
  : TSchema;