fix(types): default object type arg;

- means dont have to expose `Properties` directly or user redeclare

infer.types.ts

@@ -320,6 +320,27 @@ assert<typeof O3>({
 	status: STRING,
 });
 
+// ---
+// OBJECT / empty / any
+// ---
+
+let o4 = t.object();
+
+type O4 = t.Infer<typeof o4>;
+declare let O4: O4;
+
+// deno-lint-ignore ban-types
+assert<{}>(O4);
+assert<Record<string, unknown>>(O4);
+
+assert<O4>({
+	//
+});
+
+assert<O4>({
+	foo: 123,
+});
+
 // ---
 // OBJECT / `required` match keys
 // ---

mod.ts

@@ -87,7 +87,7 @@ export type Type =
 	| _integer
 	| _null
 	| _number
-	| _object<Properties>
+	| _object
 	| _string
 	| _tuple<unknown>
 	| _all<unknown>
@@ -522,6 +522,12 @@ function _tuple<
 	} as _tuple<M>;
 }
 
+/**
+ * The {@link _object} property definitions.
+ *
+ * > [!NOTE]
+ * > You probably don't want this type, unless you are extending/building your own types.
+ */
 type Properties = {
 	[name: string]: Type & {
 		[OPTIONAL]?: true;
@@ -533,7 +539,7 @@ type Properties = {
  *
  * [Reference](https://json-schema.org/understanding-json-schema/reference/object)
  */
-type _object<T extends Properties> = Annotations & {
+type _object<T extends Properties = Properties> = Annotations & {
 	type: 'object';
 	properties?: T;
 	required?: (keyof T)[];