ajv-validator / ajv-validator/ajv

LinkedList example in JTD docs gets typed as never after validation

Abierto
#2,168 0 comentarios 0 reacciones 0 asignados Ver en GitHub
bug report typescript
Lenguaje dominante
TypeScript
Estrellas
14.8k
Forks
1k
Métricas de merge de PR
Sin PR fusionados en 30 d

Descripción

**What version of Ajv are you using? Does the issue happen if you use the latest version?**

8.11.2 (latest as of this writing)

**Ajv options object**

```ts
import Ajv, { JTDSchemaType } from "ajv/dist/jtd";
const ajv = new Ajv();
```

**JTD Schema**

From https://ajv.js.org/json-type-definition.html#ref-schemas

```ts

type LinkedList = { val: number; next?: LinkedList };

const schema: JTDSchemaType = {
definitions: {
node: {
properties: {
val: { type: "float64" }
},
optionalProperties: {
next: { ref: "node" }
}
}
},
ref: "node"
};
```

**Sample data**

```ts
const data = { val: 1 } as LinkedList;
```

**Your code**

```ts
const validate = ajv.compile(schema);

if (validate(data)) {
const next: LinkedList | undefined = data.next;
console.log(next);
}
```

https://replit.com/@ento/IntrepidIndolentOutput#linkedlist.ts

^`strictNullChecks` is enabled in `tsconfig.json`

```json
"strictNullChecks": true,
```

**Validation result, data AFTER validation, error messages**

```
// on data.next
Property 'next' does not exist on type 'never'.
```

**What results did you expect?**

I expected the type of `data` to be `LinkedList` after being narrowed by `validate(data)`

**Are you going to resolve the issue?**

I was exploring how JTDSchemaType works and noticed that the example in the documentation doesn't seem to work. I'm not in immediate need for this to work.

Guía de contribución

Abrir la guía de contribución

Evaluación

Este issue todavía no se ha evaluado.

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.