zoriya/typebox
1
0
Fork 0
mirror of https://github.com/zoriya/typebox.git synced 2026-05-25 15:59:10 +00:00
Code Issues Packages Projects Releases Wiki Activity

Inverse Assert for Compiler and Value Check Alignment (#359)

Browse Source
This commit is contained in:
sinclairzx81
2023-03-27 13:48:36 +09:00
committed by GitHub
parent ff2a63c734
commit e9f63d897b
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
test/runtime/compiler/validate.ts
+3
View File
@@ -96,6 +96,9 @@ export function Ok<T extends TSchema>(schema: T, data: unknown, references: any[
export function Fail<T extends TSchema>(schema: T, data: unknown, references: any[] = []) {
const C = TypeCompiler.Compile(schema, references)
const result = C.Check(data)
if (result !== Value.Check(schema, references, data)) {
throw Error('Compiler and Value Check disparity')
}
if (result === false) {
const errors = [...Value.Errors(schema, references, data)]
if (errors.length === 0) throw Error('expected at least 1 error')