fix value of where clause top level field from discriminated unions being never

Author: tylim88

package.json

@@ -1,6 +1,6 @@
 {
 	"name": "firelord",
-	"version": "2.8.5",
+	"version": "2.8.6",
 	"description": "🔥 Write V9 like Firestore Admin code with extreme type safety.",
 	"author": "tylim",
 	"license": "MIT",

src/tests/discriminatedUnion.test.ts

@@ -9,7 +9,9 @@ import {
 
 type DU = MetaTypeCreator<
 	| { a: { b: 1; c: 2 } | { b: 'a'; d: 'b' } }
-	| { x: { y: 1; z: 2; u: 3 } | { y: 'a'; w: 'b'; v: 'c' } | false },
+	| { x: { y: 1; z: 2; u: 3 } | { y: 'a'; w: 'b'; v: 'c' } | false }
+	| { c: false }
+	| { c: true; v: 0 },
 	'abc'
 >
 
@@ -26,6 +28,10 @@ describe('test discrimination unions', () => {
 			// @ts-expect-error
 			updateDoc(docRef, { 'a.b': 2 })
 
+			updateDoc(docRef, { v: 0 })
+			// @ts-expect-error
+			updateDoc(docRef, { v: 1 })
+
 			const v = false as boolean
 
 			const x = v
@@ -79,6 +85,10 @@ describe('test discrimination unions', () => {
 			query(du.collection(), where('a.b', '==', 1))
 			// @ts-expect-error
 			query(du.collection(), where('a.b', '==', 2))
+
+			query(du.collection(), where('v', '==', 0))
+			// @ts-expect-error
+			query(du.collection(), where('v', '==', 1))
 		}
 	})
 })

src/types/objectFlatten.ts

@@ -12,18 +12,15 @@ export type DeepKey<T, DontFlatMap extends string> = keyof T extends infer K
 		: never // impossible route
 	: never // impossible route
 
-export type DeepValue<
-	T,
-	P extends string
-> = P extends `${infer K}.${infer Rest}`
-	? T extends T
+export type DeepValue<T, P extends string> = T extends T
+	? P extends `${infer K}.${infer Rest}`
 		? T[K & keyof T] extends infer S
 			? S extends S
 				? DeepValue<S, Rest>
 				: never // impossible route
 			: never // impossible route
-		: never // impossible route
-	: T[P & keyof T]
+		: T[P & keyof T]
+	: never // impossible route
 
 export type ObjectFlatten<
 	Data,