Infinite inference with t.Object

[rtritto]

I need, on a parameter in body, to add a type to it and validate to it.

import { t } from 'elysia'

type ObjType = {
  prop1: string
  ...
}

app.post('/', ({ body }) => {
  // use body.query is of the ObjType type with optional properties
}, {
  body: t.Object({
    query: t.Object<Partial<ObjType>>({}, { additionalProperties: true /* Allow all properties of ObjType as optional */ })
  })
})

With TypeScript v5.5.4 (VSCode typecheck), I get:

Type instantiation is excessively deep and possibly infinite.ts(2589)
(parameter) body: {
    query: {
        [x: string]: any;
    };
}

[rtritto]

Opened a discussion on TypeBox: sinclairzx81/typebox#1005