JSDoc sees type as never when marking some properties as required

[dariocravero]

JSDoc sees type as never when marking some properties as required

[ThomasAribart]

Hi @dariocravero and thanks for the issue, I never tried using FromSchema in JSDocs before.

My guess is that it comes from the as const statement missing. The @satisfies seems to partially narrow the type of your schemas, which is already great (so "object" is kept as "object" and not widened as string), but it doesn't narrow the required keyword value (it is inferred as string[]) which leads to FromSchema being unable to infer required properties.

Can you add some kind of /** @as const **/ ?

[dariocravero]

Thanks for the hint @ThomasAribart! I think tried that but it didn't work, however, looking up online I came across this post and the last answer suggests using @type {const} which works if the object is wrapped in () 🤷‍♂️ 😬 .

Eg if I add @type {const} before the object's declaration, it doesn't work:

/**
 * @type {const}
 * @satisfies {import('json-schema-to-ts').JSONSchema}
 */
const schemaRequired2 = {
  type: 'object',
  required: ['input'],
  additionalProperties: false,
  properties: {
    input: {
      type: 'object',
      additionalProperties: false,
      required: ['x'],
      properties: {
        x: { type: 'number' },
      },
    },
  },
}

However, if the definition is wrapping the object in parenthesis and move the type definition right before the group as suggested on the last comment of that post, it works!

const schemaRequired2 =
  /** @type {const} @satisfies {import('json-schema-to-ts').JSONSchema}*/ ({
    type: 'object',
    required: ['input'],
    additionalProperties: false,
    properties: {
      input: {
        type: 'object',
        additionalProperties: false,
        required: ['x'],
        properties: {
          x: { type: 'number' },
        },
      },
    },
  })

Then when I do:

/** @type {import('json-schema-to-ts').FromSchema<typeof schemaRequired2>} */
const valueRequired2 = {
  input: {
    x: 2,
  },
}

I get this as expected:

const valueRequired2: {
    input: {
        x: number;
    };
}

I realise that this is what asConst intends to do in a way but its type definition in JSDocs doesn't seem to work as intended. I tried a few different things but I'm not too clear on how to do hack it out tbh. I'm more than happy with the inline comment solution from above though 😆. I submitted that as a PR on the docs here in case it's useful for others #187.

Thanks again! Loving this library, it makes it sooooo much easier to reason about the schema and gets rid of a lot of extra work! 👏

[ThomasAribart]

Awesome! Thanks!