Fix type error when e.with() wraps unlessConflict() (#1279)

Discussed in Slack with Scott - `insertUnlessConflict` should be
`Withable` also

There actually weren't any previous tests explicitly testing `insert` is
`withable`, but added one anyway for `unlessConflict`.

Author: clarkg

integration-tests/lts/insert.test.ts

@@ -140,6 +140,31 @@ describe("insert", () => {
     tc.assert<tc.IsExact<typeof r3, { id: string }[]>>(true);
   });
 
+  test("with wrapping insert .unlessConflict()", async () => {
+    const dep = e
+      .insert(e.Hero, {
+        name: "dependency",
+      })
+      .unlessConflict((hero) => ({
+        on: hero.name,
+      }));
+
+    const query = e.with(
+      [dep], // test dependency with an unlessConflict() inside it
+      e.select(e.int16(42)),
+    );
+
+    assert.deepEqual(query.__cardinality__, $.Cardinality.One);
+    tc.assert<tc.IsExact<(typeof query)["__cardinality__"], $.Cardinality.One>>(
+      true,
+    );
+
+    const result = await query.run(client);
+
+    tc.assert<tc.IsExact<typeof result, 42>>(true);
+    assert.equal(result, 42);
+  });
+
   test("nested insert", async () => {
     const q1 = e.insert(e.Villain, {
       name: e.str("villain"),

packages/generate/src/syntax/with.ts

@@ -2,7 +2,7 @@ import { type Cardinality, ExpressionKind } from "gel/dist/reflection/index";
 import type { BaseType, Expression, TypeSet } from "./typesystem";
 import type { $expr_Select } from "./select";
 import type { $expr_For } from "./for";
-import type { $expr_Insert } from "./insert";
+import type { $expr_Insert, $expr_InsertUnlessConflict } from "./insert";
 import type { $expr_Update } from "./update";
 import type { $expr_Group } from "./group";
 import { $assert_single, $expressionify, $unwrap_assert_single } from "./path";
@@ -32,6 +32,7 @@ export type WithableExpression =
   | $expr_Select
   | $expr_For
   | $expr_Insert
+  | $expr_InsertUnlessConflict
   | $expr_Update
   | $expr_Group;