Strip properties with never values on polymorphic unions

edgedb · Sep 3, 2024 · 7131057 · 7131057
1 parent 31ec38b
commit 7131057
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/packages/generate/src/syntax/typesystem.ts b/packages/generate/src/syntax/typesystem.ts
@@ -435,7 +435,11 @@ type computePolyElShape<PolyEls, PolyTypeName> = typeutil.flatten<
               >
             : never
           : never;
-      }
+      } extends infer Shape
+      ? Shape extends unknown
+        ? typeutil.stripNever<Shape>
+        : never
+      : never
     : never
 >;