From 13682f66c348531bba9e98ddb312ac952676b659 Mon Sep 17 00:00:00 2001
From: Steve Zhu <4130171+stevezhu@users.noreply.github.com>
Date: Thu, 16 Feb 2023 05:15:35 -0500
Subject: [PATCH] Support JSDoc IntelliSense on Object Properties (#324)

---
 src/typebox.ts | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/typebox.ts b/src/typebox.ts
index 0949f9b..a425d36 100644
--- a/src/typebox.ts
+++ b/src/typebox.ts
@@ -316,10 +316,10 @@ export type RequiredPropertyKeys<T extends TProperties> = keyof Omit<T, Readonly
 
 // prettier-ignore
 export type PropertiesReduce<T extends TProperties, P extends unknown[]> = 
-  { readonly [K in ReadonlyOptionalPropertyKeys<T>]?: Static<T[K], P> } & 
-  { readonly [K in ReadonlyPropertyKeys<T>]:          Static<T[K], P> } & 
-  {          [K in OptionalPropertyKeys<T>]?:         Static<T[K], P> } & 
-  {          [K in RequiredPropertyKeys<T>]:          Static<T[K], P> } extends infer R ? { [K in keyof R]: R[K] } : never
+  Readonly<Partial<Pick<{ [K in keyof T]: Static<T[K], P> }, ReadonlyOptionalPropertyKeys<T>>>> &
+  Readonly<Pick<{ [K in keyof T]: Static<T[K], P> }, ReadonlyPropertyKeys<T>>> &
+  Partial<Pick<{ [K in keyof T]: Static<T[K], P> }, OptionalPropertyKeys<T>>> &
+  Required<Pick<{ [K in keyof T]: Static<T[K], P> }, RequiredPropertyKeys<T>>> extends infer R ? { [K in keyof R]: R[K] } : never
 
 export type TRecordProperties<K extends TUnion<TLiteral[]>, T extends TSchema> = Static<K> extends string ? { [X in Static<K>]: T } : never