Merge pull request #907 from micalevisk/master

fix(types): stop before try to evaluate `any` as a path

lib/types/path-value.type.ts

@@ -1,5 +1,17 @@
+/**
+ * Evaluates to `true` if `T` is `any`. `false` otherwise.
+ * (c) https://stackoverflow.com/a/68633327/5290447
+ */
+type IsAny<T> = unknown extends T
+  ? [keyof T] extends [never]
+    ? false
+    : true
+  : false;
+
 export type PathImpl<T, Key extends keyof T> = Key extends string
-  ? T[Key] extends Record<string, any>
+  ? IsAny<T[Key]> extends true
+    ? never
+    : T[Key] extends Record<string, any>
     ?
         | `${Key}.${PathImpl<T[Key], Exclude<keyof T[Key], keyof any[]>> &
             string}`
@@ -10,8 +22,10 @@ export type PathImpl<T, Key extends keyof T> = Key extends string
 export type PathImpl2<T> = PathImpl<T, keyof T> | keyof T;
 
 export type Path<T> = keyof T extends string
-  ? PathImpl2<T> extends string | keyof T
-    ? PathImpl2<T>
+  ? PathImpl2<T> extends infer P
+    ? P extends string | keyof T
+      ? P
+      : keyof T
     : keyof T
   : never;