inferred-types 0.53.4 → 0.53.6

package/modules/types/dist/index.d.ts

@@ -14706,7 +14706,9 @@ type DictTypeDefinition<V extends TypeDefinition = TypeDefinition> = Record<Obje
  * Note: when dictionary objects are found the _values_ will be
  * interrogated for ShapeCallback's.
  */
-type FromDefn<T, TElse = Constant<"not-set">> = T extends readonly unknown[] ? IterateOverDefinitions<T, TElse> : ToType$1<T, TElse>;
+type FromDefn<T, TElse = Constant<"not-set">> = T extends DefineObject ? {
+    [K in keyof T]: T[K] extends SimpleToken ? SimpleType<T[K]> : T[K] extends ShapeCallback ? HandleDoneFn<T[K]> : never;
+} : T extends readonly unknown[] ? IterateOverDefinitions<T, TElse> : ToType$1<T, TElse>;
 
 type WideTokenNames = "string" | "number" | "boolean" | "null" | "undefined" | "never" | "unknown" | "string[]" | "number[]" | "boolean[]" | "unknown[]";
 type ConvertWideTokenNames<T extends WideTokenNames> = T extends "string" ? string : T extends "number" ? number : T extends "boolean" ? boolean : T extends "null" ? null : T extends "undefined" ? undefined : T extends "never" ? never : T extends "unknown" ? unknown : T extends "string[]" ? string[] : T extends "number[]" ? number[] : T extends "boolean[]" ? boolean[] : T extends "unknown[]" ? unknown[] : never;
@@ -14960,7 +14962,7 @@ type RevAcc<TInput extends readonly unknown[], TResults extends readonly unknown
     First<TInput>,
     ...TResults
 ]>;
-type Reverse<T extends readonly unknown[]> = RevAcc<T>;
+type Reverse<T> = T extends readonly unknown[] ? RevAcc<T> : never;
 
 type Iterator$1<N, iterator extends number[] = []> = iterator["length"] extends N ? iterator : Iterator$1<N, [any, ...iterator]>;
 type Drop1<xs extends any[]> = xs extends [any, ...infer tail] ? tail : [];
@@ -15263,7 +15265,7 @@ type TruthyReturns<T extends readonly unknown[]> = TupleToUnion<{
  * type U = UnionFromProp<typeof data, "id">;
  * ```
  */
-type UnionFromProp<T extends readonly Record<string, Narrowable>[], P extends string> = Readonly<Get$1<T[number], P>>;
+type UnionFromProp<T extends readonly Record<string, unknown>[], P extends string> = Get$1<T[number], P>;
 
 type _Keys$2<T extends object> = UnionToTuple$1<keyof RemoveIndexKeys<T>> extends readonly ObjectKey[] ? UnionToTuple$1<keyof RemoveIndexKeys<T>> : never;
 type ProcessObj$1<T extends Container, TKeys extends readonly PropertyKey[], TResults extends Dictionary = EmptyObject> = [] extends TKeys ? TResults : First<TKeys> extends keyof T ? IfNever<T[First<TKeys>], ProcessObj$1<T, AfterFirst<TKeys>, TResults>, ProcessObj$1<T, AfterFirst<TKeys>, First<TKeys> extends keyof T ? TResults extends readonly unknown[] ? [...TResults, T[First<TKeys>]] : TResults extends Dictionary ? TResults & Record<First<TKeys>, T[First<TKeys>]> : never : never>> : never;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "inferred-types",
-  "version": "0.53.4",
+  "version": "0.53.6",
   "description": "Functions which provide useful type inference on TS projects",
   "license": "MIT",
   "author": "Ken Snyder<ken@ken.net>",
@@ -41,7 +41,6 @@
   },
   "sideEffects": false,
   "scripts": {
-    "prepare": "ts-patch install -s",
     "build": "bash build",
     "build:tsc": "tsc -b modules/constants modules/types modules/runtime",
     "diag": "tsc -b -f --extendedDiagnostics src/inferred-types",
@@ -65,10 +64,7 @@
     "release:latest": "pnpm install",
     "release:bump": "bumpp",
     "prepublishOnly": "npm run build",
-    "watch": "run-p watch:*",
-    "watch:types": "ts-type-tester tests tests/tsconfig.json --ignore 6133 -w",
-    "watch:lint": "esw (src|tests)/**/*.ts -w --clear",
-    "watch:bundle": "tsup src/index.ts --format=esm --dts"
+    "watch": "bash watch"
   },
   "devDependencies": {
     "@antfu/eslint-config": "^3.11.2",