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

sinclairzx81 · Mar 27, 2023 · e9f63d8 · e9f63d8
1 parent ff2a63c
commit e9f63d8
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/test/runtime/compiler/validate.ts b/test/runtime/compiler/validate.ts
@@ -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')