Fix objectChainable type in patterns.ts and Pattern.ts

Author: gitsunmin

src/patterns.ts

@@ -1138,7 +1138,7 @@ const emptyObject = <input>(): GuardExcludeP<input, object, never> => when(
 
 const objectChainable = <pattern extends Matcher<any, any, any, any, any>>(
   pattern: pattern
-): ObjectChainable<pattern> =>
+): ObjectChainable<pattern> => 
   Object.assign(chainable(pattern), {
     empty: () => chainable(intersection(pattern, emptyObject())),
   }) as any;
@@ -1153,4 +1153,4 @@ const objectChainable = <pattern extends Matcher<any, any, any, any, any>>(
  * match(value)
  *  .with(P.object.empty(), () => 'will match on empty objects')
  **/
-export const object: ObjectChainable<any> = objectChainable(when(isObject));
+export const object: ObjectChainable<GuardP<unknown, object>> = objectChainable(when(isObject));

src/types/Pattern.ts

@@ -677,9 +677,9 @@ export type ObjectChainable<
        *  .with(P.object.empty(), () => 'empty object')
        */
       empty<input>(): Chainable<
-        ObjectP<input, Record<string, never>>,
+        GuardExcludeP<input, {}, never>,
         omitted | 'empty'
-      >;
+    >;
     },
     omitted
   >;

tests/object.test.ts

@@ -117,7 +117,7 @@ describe('Object', () => {
         return 'yes';
       })
       .with(P.object, (obj) => {
-        type t = Expect<Equal<typeof obj, never>>;
+        type t = Expect<Equal<typeof obj, {}>>;
 
         return 'no';
       })
@@ -132,7 +132,9 @@ describe('Object', () => {
         return 'no';
       })
       .with(P.object, (obj) => {
-        type t = Expect<Equal<typeof obj, never>>;
+        type t = Expect<Equal<typeof obj, {
+          readonly x: 1;
+      }>>;
         return 'yes';
       })
       .exhaustive();