Revision 0.32.17

package.json

@@ -1,6 +1,6 @@
 {
   "name": "@sinclair/typebox",
-  "version": "0.32.16",
+  "version": "0.32.17",
   "description": "Json Schema Type Builder with Static Type Resolution for TypeScript",
   "keywords": [
     "typescript",

src/type/static/static.ts

@@ -85,8 +85,9 @@ export type TDecodeType<T extends TSchema> = (
 // ------------------------------------------------------------------
 // Static
 // ------------------------------------------------------------------
+export type StaticDecodeIsAny<T> = boolean extends (T extends TSchema ? true : false) ? true : false
 /** Creates an decoded static type from a TypeBox type */
-export type StaticDecode<T extends TSchema, P extends unknown[] = []> = Static<TDecodeType<T>, P>
+export type StaticDecode<T extends TSchema, P extends unknown[] = []> = StaticDecodeIsAny<T> extends true ? unknown : Static<TDecodeType<T>, P>
 /** Creates an encoded static type from a TypeBox type */
 export type StaticEncode<T extends TSchema, P extends unknown[] = []> = Static<T, P>
 /** Creates a static type from a TypeBox type */

test/static/transform.ts

@@ -1,4 +1,7 @@
 import { Type, TSchema, Static, StaticDecode, TObject, TNumber } from '@sinclair/typebox'
+import { TypeCheck } from '@sinclair/typebox/compiler'
+import { Value } from '@sinclair/typebox/value'
+
 import { Expect } from './assert'
 {
   // string > number
@@ -309,3 +312,11 @@ import { Expect } from './assert'
   Expect(T).ToStaticDecode<new (x: Date) => Date>()
   Expect(T).ToStaticEncode<new (x: number) => number>()
 }
+// -------------------------------------------------------------
+// https://github.com/sinclairzx81/typebox/issues/798
+// -------------------------------------------------------------
+{
+  const c1: TypeCheck<any> = {} as any
+  const x1 = c1.Decode({})
+  const x2 = Value.Decode({} as any, {})
+}