openapi-ts · darkbasic · Jul 31, 2026 · Aug 4, 2026 · Aug 4, 2026
@@ -0,0 +1,5 @@
+---
+"openapi-typescript": patch
+---
+
+Generate required composed properties from required-only `allOf` members, including typed object constraints when custom transforms are configured.
@@ -7065,7 +7065,7 @@ export interface components {
             total?: number;
         };
         meta: {
-            meta: components["schemas"]["meta_properties"] & unknown;
+            meta: WithRequired<components["schemas"]["meta_properties"], "total">;
         };
         region: {
             /**
@@ -11632,15 +11632,15 @@ export interface components {
              */
             tag?: string | null;
         };
-        domain_record_a: components["schemas"]["domain_record"] & unknown;
-        domain_record_aaaa: components["schemas"]["domain_record"] & unknown;
-        domain_record_caa: components["schemas"]["domain_record"] & unknown;
-        domain_record_cname: components["schemas"]["domain_record"] & unknown;
-        domain_record_mx: components["schemas"]["domain_record"] & unknown;
-        domain_record_ns: components["schemas"]["domain_record"] & unknown;
-        domain_record_soa: components["schemas"]["domain_record"] & unknown;
-        domain_record_srv: components["schemas"]["domain_record"] & unknown;
-        domain_record_txt: components["schemas"]["domain_record"] & unknown;
+        domain_record_a: WithRequired<components["schemas"]["domain_record"], "type" | "name" | "data">;
+        domain_record_aaaa: WithRequired<components["schemas"]["domain_record"], "type" | "name" | "data">;
+        domain_record_caa: WithRequired<components["schemas"]["domain_record"], "type" | "name" | "data" | "flags" | "tag">;
+        domain_record_cname: WithRequired<components["schemas"]["domain_record"], "type" | "name" | "data">;
+        domain_record_mx: WithRequired<components["schemas"]["domain_record"], "type" | "data" | "priority">;
+        domain_record_ns: WithRequired<components["schemas"]["domain_record"], "type" | "name" | "data" | "flags" | "tag">;
+        domain_record_soa: WithRequired<components["schemas"]["domain_record"], "type" | "ttl">;
+        domain_record_srv: WithRequired<components["schemas"]["domain_record"], "type" | "name" | "data" | "priority" | "port" | "flags" | "tag">;
+        domain_record_txt: WithRequired<components["schemas"]["domain_record"], "type" | "name" | "data" | "flags" | "tag">;
         disk_info: {
             /**
              * @description The type of disk. All Droplets contain a `local` disk. Additionally, GPU Droplets can also have a `scratch` disk for non-persistent data.
@@ -12929,7 +12929,7 @@ export interface components {
              */
             type: "assign";
         };
-        floating_ip_action_unassign: Omit<components["schemas"]["floatingIPsAction"], "type"> & Record<string, never> & {
+        floating_ip_action_unassign: Omit<WithRequired<components["schemas"]["floatingIPsAction"], "type">, "type"> & {
             /**
              * @description discriminator enum property added by openapi-typescript
              * @enum {string}
@@ -14897,7 +14897,7 @@ export interface components {
              */
             type: "assign";
         };
-        reserved_ip_action_unassign: Omit<components["schemas"]["reserved_ip_action_type"], "type"> & Record<string, never> & {
+        reserved_ip_action_unassign: Omit<WithRequired<components["schemas"]["reserved_ip_action_type"], "type">, "type"> & {
             /**
              * @description discriminator enum property added by openapi-typescript
              * @enum {string}

@@ -597,6 +597,76 @@ export function tsWithRequired(
   ]);
 }
 
+// Keep one canonical AST so named output and the collision-safe inline fallback cannot drift semantically.
+const WITH_REQUIRED_OBJECT =
+  stringToAST(`type WithRequiredObject<T, K extends string | number | symbol> = T extends infer U
+  ? unknown extends U
+    ? { [P in K]-?: unknown }
+    : U extends readonly unknown[]
+      ? never
+      : U extends (...args: never[]) => unknown
+        ? never
+        : U extends abstract new (...args: never[]) => unknown
+          ? never
+          : U extends object
+            ? U & {
+                [P in K]-?: P extends keyof U
+                  ? { [Q in keyof U]-?: U[Q] }[P]
+                  : unknown
+              }
+            : never
+  : never;`)[0] as ts.TypeAliasDeclaration;
+
+export function isWithRequiredObjectHelper(node: ts.Node): boolean {
+  return node === WITH_REQUIRED_OBJECT;
+}
+
+/**
+ * Create a WithRequiredObject<X, Y> type for exact object constraints.
+ * Structural callables and constructors are rejected; nominal Function remains object-like.
+ */
+export function tsWithRequiredObject(
+  type: ts.TypeNode,
+  keys: string[],
+  injectFooter: ts.Node[],
+  inline = false,
+): ts.TypeNode {
+  if (keys.length === 0) {
+    return type;
+  }
+
+  const keyType = tsUnion(keys.map((key) => tsLiteral(key)));
+  if (inline) {
+    // Substitute only the helper's free T/K parameters; U/P/Q remain local binders in the conditional type.
+    const result = ts.transform(WITH_REQUIRED_OBJECT.type, [
+      (context) => (rootNode) => {
+        const visit = (node: ts.Node): ts.VisitResult<ts.Node> => {
+          if (ts.isTypeReferenceNode(node) && ts.isIdentifier(node.typeName)) {
+            if (node.typeName.text === "T") {
+              return type;
+            }
+            if (node.typeName.text === "K") {
+              return keyType;
+            }
+          }
+          return ts.visitEachChild(node, visit, context);
+        };
+        return ts.visitNode(rootNode, visit) as ts.TypeNode;
+      },
+    ]);
+    const transformed = result.transformed[0];
+    result.dispose();
+    return transformed;
+  }
+
+  // Helper names follow the existing fixed-name injection convention.
+  if (!injectFooter.some((node) => ts.isTypeAliasDeclaration(node) && node.name.escapedText === "WithRequiredObject")) {
+    injectFooter.push(WITH_REQUIRED_OBJECT);
+  }
+
+  return ts.factory.createTypeReferenceNode(ts.factory.createIdentifier("WithRequiredObject"), [type, keyType]);
+}
+
 /**
  * Enhanced ReadonlyArray.
  * eg: type Foo = ReadonlyArray<T>; type Bar = ReadonlyArray<T[]>