effect-qb 0.17.0 → 0.20.0

package/src/postgres/internal/dsl.ts

@@ -1,4 +1,4 @@
-import { pipeArguments } from "effect/Pipeable"
+import { pipeArguments, type Pipeable } from "effect/Pipeable"
 import * as Schema from "effect/Schema"
 
 import { postgresDatatypes } from "../datatypes/index.js"
@@ -6,6 +6,13 @@ import { postgresDatatypes } from "../datatypes/index.js"
 import * as Expression from "../../internal/scalar.js"
 import * as Plan from "../../internal/row-set.js"
 import * as Table from "../../internal/table.js"
+import type {
+  CollationIdentifierInput,
+  LiteralStringInput,
+  NonEmptyStringInput,
+  SafeSqlIdentifierInput,
+  SafeSqlIdentifierPathInput
+} from "../../internal/table-options.js"
 import type { CastTargetError, OperandCompatibilityError } from "../../internal/coercion/errors.js"
 import type { RuntimeOfDbType } from "../../internal/coercion/analysis.js"
 import type { CanCastDbType, CanCompareDbTypes, CanContainDbTypes, CanTextuallyCoerceDbType } from "../../internal/coercion/rules.js"
@@ -71,6 +78,7 @@ import {
   type ScopedNamesOfPlan,
   type SelectionOfPlan,
   type SelectionShape,
+  type SelectionProjectionAliasCollisionConstraint,
   type SetCompatiblePlan,
   type SetCompatibleRightPlan,
   type SchemaTableLike,
@@ -80,10 +88,8 @@ import {
   type TableDialectOf,
   type StatementOfPlan,
   type MutationInputOf,
-  type MutationTargetLike,
   type MutationTargetOfPlan,
   type MergeCapabilities,
-  type MutationTargetInput,
   type MutationValuesInput,
   type SourceDialectOf,
   type SourceLike,
@@ -100,7 +106,6 @@ import {
   type TableLike,
   type UpdateInputOfTarget,
   type MutationTargetNamesOf,
-  type MutationTargetTuple,
   type TupleDependencies,
   type TupleDialect,
   type ResultRow
@@ -109,6 +114,7 @@ import * as ExpressionAst from "../../internal/expression-ast.js"
 import { presenceWitnessesOfSourceLike } from "../../internal/implication-runtime.js"
 import type { JsonNode } from "../../internal/json/ast.js"
 import type { JsonPathUsageError } from "../../internal/json/errors.js"
+import { withJsonPathAccess } from "../../internal/json/path-access.js"
 import * as JsonPath from "../../internal/json/path.js"
 import type {
   JsonConcatResult,
@@ -138,6 +144,10 @@ import * as ProjectionAlias from "../../internal/projection-alias.js"
 import * as QueryAst from "../../internal/query-ast.js"
 import { normalizeColumnList } from "../../internal/table-options.js"
 
+type MutationTargetLike = Table.AnyTable<Dialect | "standard">
+type MutationTargetTuple = readonly [MutationTargetLike, MutationTargetLike, ...MutationTargetLike[]]
+type MutationTargetInput = MutationTargetLike | MutationTargetTuple
+
 /**
  * Dialect-specific DB type profile used to specialize the shared query
  * operator surface.
@@ -710,7 +720,7 @@ type NumericExpressionDialectInput<
   BoolDb extends Expression.DbType.Any,
   TimestampDb extends Expression.DbType.Any,
   NullDb extends Expression.DbType.Any
-> = Exclude<DialectOfDialectNumericInput<Value, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, Dialect> extends never
+> = Exclude<DialectOfDialectNumericInput<Value, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, Dialect | "standard"> extends never
   ? unknown
   : {
       readonly __effect_qb_error__: "effect-qb: numeric expressions cannot mix dialects"
@@ -803,6 +813,35 @@ type DialectExpressionArray<
   ? Tuple
   : never
 
+type ExtractFunctionFieldInput<
+  Value extends ExpressionInput
+> = Value extends string
+  ? SafeSqlIdentifierInput<Value>
+  : Value extends { readonly [ExpressionAst.TypeId]: ExpressionAst.LiteralNode<infer Field extends string> }
+    ? SafeSqlIdentifierInput<Field> extends never ? never : Value
+  : never
+
+type GenericFunctionNameInput<Name extends string> =
+  Name extends "current_date" | "extract" ? never : SafeSqlIdentifierPathInput<Name>
+
+type FunctionCallApi = {
+  (name: "current_date"): Expression.Any
+  <Field extends string, Source extends ExpressionInput>(
+    name: "extract",
+    field: SafeSqlIdentifierInput<Field>,
+    source: Source
+  ): Expression.Any
+  <Field extends Expression.Any, Source extends ExpressionInput>(
+    name: "extract",
+    field: Field & ExtractFunctionFieldInput<Field>,
+    source: Source
+  ): Expression.Any
+  <Name extends string, Args extends readonly ExpressionInput[]>(
+    name: GenericFunctionNameInput<Name>,
+    ...args: Args
+  ): Expression.Any
+}
+
 /** Normalized expression tuple for generic string operator inputs. */
 type DialectStringExpressionTuple<
   Values extends readonly ExpressionInput[],
@@ -1069,6 +1108,9 @@ type JsonPathInput = JsonPath.Path<any> | JsonPath.CanonicalSegment
 
 type JsonQueryInput = JsonPath.Path<any> | StringExpressionInput
 
+type JsonQueryValue<Query extends JsonQueryInput> =
+  Query extends string ? LiteralStringInput<Query> : Query
+
 type JsonPathSegmentsOf<Target extends JsonPathInput> =
   Target extends JsonPath.Path<any>
     ? JsonPath.SegmentsOf<Target>
@@ -1505,18 +1547,21 @@ const profile: QueryDialectProfile<Dialect, TextDb, NumericDb, BoolDb, Timestamp
   type: postgresDatatypes
 }
   const ValuesInputProto = {
-    pipe(this: unknown) {
+    pipe(this: Pipeable) {
       return pipeArguments(this, arguments)
     }
   }
 
   const literalSchemaOf = <Value extends LiteralValue>(
     value: Value
-  ): Schema.Schema.Any | undefined => {
+  ): Schema.Top | undefined => {
     if (value === null || value instanceof Date) {
       return undefined
     }
-    return Schema.Literal(value) as unknown as Schema.Schema.Any
+    if (typeof value === "number" && !Number.isFinite(value)) {
+      return undefined
+    }
+    return Schema.Literal(value) as unknown as Schema.Top
   }
 
   const literal = <const Value extends LiteralValue>(
@@ -1603,7 +1648,7 @@ const profile: QueryDialectProfile<Dialect, TextDb, NumericDb, BoolDb, Timestamp
     value: Expression.Any,
     target: Expression.Any
   ): Expression.Any => {
-    const ast = (value as unknown as { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
+    const ast = (value as Expression.Any & { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
     if (ast.kind !== "literal") {
       return value
     }
@@ -1624,8 +1669,8 @@ const profile: QueryDialectProfile<Dialect, TextDb, NumericDb, BoolDb, Timestamp
     left: Expression.Any,
     right: Expression.Any
   ): readonly [Expression.Any, Expression.Any] => {
-    const leftAst = (left as unknown as { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
-    const rightAst = (right as unknown as { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
+    const leftAst = (left as Expression.Any & { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
+    const rightAst = (right as Expression.Any & { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
     if (leftAst.kind === "literal" && rightAst.kind !== "literal") {
       return [retargetLiteralExpression(left, right), right]
     }
@@ -1658,7 +1703,7 @@ const profile: QueryDialectProfile<Dialect, TextDb, NumericDb, BoolDb, Timestamp
   ): readonly Expression.Any[] => {
     const flattened: Array<Expression.Any> = []
     for (const value of values) {
-      const ast = (value as unknown as { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
+      const ast = (value as Expression.Any & { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
       if (ast.kind === kind) {
         flattened.push(...ast.values)
       } else {
@@ -1704,7 +1749,33 @@ const profile: QueryDialectProfile<Dialect, TextDb, NumericDb, BoolDb, Timestamp
         if (operations.every((operation) => typeof operation === "function")) {
           return pipeArguments(this, arguments)
         }
-        throw new TypeError(`Cannot mix query expressions and pipe functions inside ${kind}(...).pipe(...)`)
+        const valuesForMixedPipe = (value: unknown): readonly Expression.Any[] => {
+          if (typeof value !== "object" || value === null || !(Expression.TypeId in value)) {
+            return []
+          }
+          const expression = value as Expression.Any & {
+            readonly [ExpressionAst.TypeId]: ExpressionAst.Any
+          }
+          const ast = expression[ExpressionAst.TypeId]
+          if (ast.kind === kind) {
+            return (ast as {
+              readonly values: readonly Expression.Any[]
+            }).values
+          }
+          return [expression]
+        }
+        let current: unknown = this
+        for (const operation of operations) {
+          if (typeof operation === "function") {
+            current = (operation as (value: unknown) => unknown)(current)
+            continue
+          }
+          current = makeVariadicBooleanExpression(
+            kind,
+            [...valuesForMixedPipe(current), toDialectExpression(operation as ExpressionInput)] as const
+          )
+        }
+        return current
       }
     })
 
@@ -1725,9 +1796,6 @@ const profile: QueryDialectProfile<Dialect, TextDb, NumericDb, BoolDb, Timestamp
     const partitionBy = [...(spec?.partitionBy ?? [])] as unknown as PartitionBy
     const orderBy = (spec?.orderBy ?? []).map((term) => {
       const direction = term.direction ?? "asc"
-      if (direction !== "asc" && direction !== "desc") {
-        throw new Error("window order direction must be asc or desc")
-      }
       return {
         value: term.value,
         direction
@@ -1868,7 +1936,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ComparableArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "eq">
   ): BinaryPredicateExpression<Left, Right, "eq"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "eq")
   }
 
@@ -1878,7 +1947,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ComparableArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "neq">
   ): BinaryPredicateExpression<Left, Right, "neq"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "neq")
   }
 
@@ -1888,7 +1958,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ComparableArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "lt">
   ): BinaryPredicateExpression<Left, Right, "lt"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "lt")
   }
 
@@ -1898,7 +1969,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ComparableArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "lte">
   ): BinaryPredicateExpression<Left, Right, "lte"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "lte")
   }
 
@@ -1908,7 +1980,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ComparableArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "gt">
   ): BinaryPredicateExpression<Left, Right, "gt"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "gt")
   }
 
@@ -1918,7 +1991,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ComparableArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "gte">
   ): BinaryPredicateExpression<Left, Right, "gte"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "gte")
   }
 
@@ -1928,7 +2002,8 @@ type BinaryPredicateExpression<
   >(
     ...args: TextArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "like">
   ): BinaryPredicateExpression<Left, Right, "like"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "like")
   }
 
@@ -1938,7 +2013,8 @@ type BinaryPredicateExpression<
   >(
     ...args: TextArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "ilike">
   ): BinaryPredicateExpression<Left, Right, "ilike"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "ilike")
   }
 
@@ -1948,7 +2024,8 @@ type BinaryPredicateExpression<
   >(
     ...args: TextArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "regexMatch">
   ): BinaryPredicateExpression<Left, Right, "regexMatch"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "regexMatch")
   }
 
@@ -1958,7 +2035,8 @@ type BinaryPredicateExpression<
   >(
     ...args: TextArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "regexIMatch">
   ): BinaryPredicateExpression<Left, Right, "regexIMatch"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "regexIMatch")
   }
 
@@ -1968,7 +2046,8 @@ type BinaryPredicateExpression<
   >(
     ...args: TextArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "regexNotMatch">
   ): BinaryPredicateExpression<Left, Right, "regexNotMatch"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "regexNotMatch")
   }
 
@@ -1978,7 +2057,8 @@ type BinaryPredicateExpression<
   >(
     ...args: TextArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "regexNotIMatch">
   ): BinaryPredicateExpression<Left, Right, "regexNotIMatch"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "regexNotIMatch")
   }
 
@@ -1988,7 +2068,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ComparableArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "isDistinctFrom">
   ): BinaryPredicateExpression<Left, Right, "isDistinctFrom", "never"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "isDistinctFrom", "never")
   }
 
@@ -1998,7 +2079,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ComparableArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "isNotDistinctFrom">
   ): BinaryPredicateExpression<Left, Right, "isNotDistinctFrom", "never"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "isNotDistinctFrom", "never")
   }
 
@@ -2114,7 +2196,7 @@ type BinaryPredicateExpression<
     Collation extends string | readonly [string, ...string[]]
   >(
     value: Value & TextInput<NoInfer<Value>, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "collate">,
-    collation: Collation
+    collation: CollationIdentifierInput<Collation>
   ): AstBackedExpression<
     Expression.RuntimeOf<DialectAsStringExpression<Value, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>>,
     Expression.DbTypeOf<DialectAsStringExpression<Value, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>>,
@@ -2125,7 +2207,7 @@ type BinaryPredicateExpression<
     ExpressionAst.CollateNode<DialectAsStringExpression<Value, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, NormalizedCollation<Collation>>
   > => {
     const expression = toDialectStringExpression(value as any)
-    const normalizedCollation = (typeof collation === "string" ? [collation] : collation) as NormalizedCollation<Collation>
+    const normalizedCollation = (typeof collation === "string" ? [collation] : collation) as unknown as NormalizedCollation<Collation>
     return makeExpression({
       runtime: expression[Expression.TypeId].runtime as Expression.RuntimeOf<DialectAsStringExpression<Value, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>>,
       dbType: expression[Expression.TypeId].dbType as Expression.DbTypeOf<DialectAsStringExpression<Value, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>>,
@@ -2192,62 +2274,62 @@ type BinaryPredicateExpression<
   })
 
   const range = <Kind extends string, Subtype extends Expression.DbType.Any>(
-    kind: Kind,
+    kind: NonEmptyStringInput<Kind>,
     subtype: Subtype
   ): Expression.DbType.Range<Dialect, Subtype, Kind> => ({
     dialect: profile.dialect,
-    kind,
+    kind: kind as Kind,
     subtype
   })
 
   const multirange = <Kind extends string, Subtype extends Expression.DbType.Any>(
-    kind: Kind,
+    kind: NonEmptyStringInput<Kind>,
     subtype: Subtype
   ): Expression.DbType.Multirange<Dialect, Subtype, Kind> => ({
     dialect: profile.dialect,
-    kind,
+    kind: kind as Kind,
     subtype
   })
 
   const record = <Kind extends string, Fields extends Record<string, Expression.DbType.Any>>(
-    kind: Kind,
+    kind: NonEmptyStringInput<Kind>,
     fields: Fields
   ): Expression.DbType.Composite<Dialect, Fields, Kind> => ({
     dialect: profile.dialect,
-    kind,
+    kind: kind as Kind,
     fields
   })
 
   const domain = <Kind extends string, Base extends Expression.DbType.Any>(
-    kind: Kind,
+    kind: NonEmptyStringInput<Kind>,
     base: Base
   ): Expression.DbType.Domain<Dialect, Base, Kind> => ({
     dialect: profile.dialect,
-    kind,
+    kind: kind as Kind,
     base
   })
 
   const enum_ = <Kind extends string>(
-    kind: Kind
+    kind: NonEmptyStringInput<Kind>
   ): Expression.DbType.Enum<Dialect, Kind> => ({
     dialect: profile.dialect,
-    kind,
+    kind: kind as Kind,
     variant: "enum"
   })
 
   const set = <Kind extends string>(
-    kind: Kind
+    kind: NonEmptyStringInput<Kind>
   ): Expression.DbType.Set<Dialect, Kind> => ({
     dialect: profile.dialect,
-    kind,
+    kind: kind as Kind,
     variant: "set"
   })
 
   const custom = <Kind extends string>(
-    kind: Kind
+    kind: NonEmptyStringInput<Kind>
   ): Expression.DbType.Base<Dialect, Kind> => ({
     dialect: profile.dialect,
-    kind
+    kind: kind as Kind
   })
 
   const driverValueMapping = <Db extends Expression.DbType.Any>(
@@ -2324,7 +2406,7 @@ type BinaryPredicateExpression<
     MergeAggregationTuple<typeof expressions>,
     TupleDependencies<typeof expressions>,
     Ast
-  > => makeExpression({
+  > => withJsonPathAccess(makeExpression({
     runtime: state.runtime,
     dbType: state.dbType,
     nullability: state.nullability,
@@ -2332,7 +2414,7 @@ type BinaryPredicateExpression<
     kind: mergeAggregationManyRuntime(expressions) as MergeAggregationTuple<typeof expressions>,
 
     dependencies: mergeManyDependencies(expressions)
-  }, ast) as AstBackedExpression<
+  }, ast)) as AstBackedExpression<
     Runtime,
     Db,
     Nullability,
@@ -2353,7 +2435,7 @@ type BinaryPredicateExpression<
   const makeJsonLiteralExpression = <Value extends JsonLiteralInput>(
     value: Value,
     dbType: Expression.DbType.Json<any, any> = jsonDb
-  ) => makeExpression({
+  ) => withJsonPathAccess(makeExpression({
     runtime: value as JsonRuntime<Value>,
     dbType,
     nullability: (value === null ? "always" : "never") as JsonNullabilityOf<Value>,
@@ -2364,7 +2446,7 @@ type BinaryPredicateExpression<
   }, {
     kind: "literal",
     value
-  })
+  }))
 
   const wrapJsonExpression = (
     value: Expression.Any,
@@ -3051,9 +3133,12 @@ type BinaryPredicateExpression<
     }
   )
 
-  const jsonPathExists = <Base extends JsonExpressionLike<any>>(
+  const jsonPathExists = <
+    Base extends JsonExpressionLike<any>,
+    Query extends JsonQueryInput
+  >(
     base: Base,
-    query: JsonQueryInput
+    query: JsonQueryValue<Query>
   ) => {
     if (isJsonPathValue(query)) {
       return buildJsonNodeExpression(
@@ -3101,9 +3186,12 @@ type BinaryPredicateExpression<
     }
   )
 
-  const jsonPathMatch = <Base extends JsonExpressionLike<any>>(
+  const jsonPathMatch = <
+    Base extends JsonExpressionLike<any>,
+    Query extends JsonQueryInput
+  >(
     base: Base,
-    query: JsonQueryInput
+    query: JsonQueryValue<Query>
   ) => {
     if (isJsonPathValue(query)) {
       return buildJsonNodeExpression(
@@ -3330,7 +3418,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ContainmentArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "contains">
   ): BinaryPredicateExpression<Left, Right, "contains"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "contains")
   }
 
@@ -3340,7 +3429,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ContainmentArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "containedBy">
   ): BinaryPredicateExpression<Left, Right, "containedBy"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "containedBy")
   }
 
@@ -3350,7 +3440,8 @@ type BinaryPredicateExpression<
   >(
     ...args: ContainmentArgs<Left, Right, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb, "overlaps">
   ): BinaryPredicateExpression<Left, Right, "overlaps"> => {
-    const [left, right] = args as unknown as [Left, Right]
+    const left = args[0] as Left
+    const right = args[1] as Right
     return buildBinaryPredicate(left as ExpressionInput, right as ExpressionInput, "overlaps")
   }
 
@@ -3777,12 +3868,9 @@ type BinaryPredicateExpression<
     >
   }
 
-  const call = <
-    Name extends string,
-    Args extends readonly ExpressionInput[]
-  >(
-    name: Name,
-    ...args: Args
+  const call: FunctionCallApi = (
+    name: string,
+    ...args: readonly ExpressionInput[]
   ): Expression.Any => {
     const expressions = args.map((value) => toDialectExpression(value)) as readonly Expression.Any[]
     return makeExpression({
@@ -4018,9 +4106,6 @@ type BinaryPredicateExpression<
     ExpressionAst.ExcludedNode<AstOf<Value> extends ExpressionAst.ColumnNode<any, infer ColumnName extends string> ? ColumnName : string>
   > => {
     const ast = ((value as unknown) as Expression.Any & { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
-    if (ast.kind !== "column") {
-      throw new Error("excluded(...) only accepts bound table columns")
-    }
     return makeExpression({
       runtime: undefined as Expression.RuntimeOf<Value>,
       dbType: value[Expression.TypeId].dbType as Expression.DbTypeOf<Value>,
@@ -4033,7 +4118,7 @@ type BinaryPredicateExpression<
       dependencies: {}
     }, {
       kind: "excluded",
-      columnName: ast.columnName
+      columnName: (ast as ExpressionAst.ColumnNode<any, string>).columnName
     }) as unknown as AstBackedExpression<
       Expression.RuntimeOf<Value>,
       Expression.DbTypeOf<Value>,
@@ -4066,7 +4151,7 @@ type BinaryPredicateExpression<
     }
     if (value !== null && typeof value === "object" && Expression.TypeId in value) {
       const expression = value as unknown as Expression.Any
-      const ast = (expression as unknown as { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
+      const ast = (expression as Expression.Any & { readonly [ExpressionAst.TypeId]: ExpressionAst.Any })[ExpressionAst.TypeId]
       if (ast.kind === "literal") {
         const normalizedValue = normalizeMutationValue(ast.value)
         return makeExpression({
@@ -4135,8 +4220,8 @@ type BinaryPredicateExpression<
               : ">="
 
   const targetSourceDetails = (table: MutationTargetLike | SchemaTableLike) => {
-    const sourceName = (table as unknown as TableLike)[Table.TypeId].name
-    const sourceBaseName = (table as unknown as TableLike)[Table.TypeId].baseName
+    const sourceName = (table as TableLike)[Table.TypeId].name
+    const sourceBaseName = (table as TableLike)[Table.TypeId].baseName
     return {
       sourceName,
       sourceBaseName
@@ -4226,12 +4311,7 @@ type BinaryPredicateExpression<
 
   const normalizeUnnestColumns = (columns: UnnestColumnsInput): Record<string, readonly Expression.Any[]> =>
     Object.fromEntries(
-      Object.entries(columns).map(([key, values]) => {
-        if (!Array.isArray(values)) {
-          throw new Error("unnest(...) expects every value to be an array")
-        }
-        return [key, values.map((value) => toDialectExpression(value))]
-      })
+      Object.entries(columns).map(([key, values]) => [key, values.map((value) => toDialectExpression(value))])
     ) as Record<string, readonly Expression.Any[]>
 
   const normalizeMutationTargets = (
@@ -4277,13 +4357,7 @@ type BinaryPredicateExpression<
   const getMutationColumn = (
     columns: Record<string, unknown>,
     columnName: string
-  ): Expression.Any => {
-    const column = columns[columnName]
-    if (column === undefined || column === null || typeof column !== "object" || !(Expression.TypeId in column)) {
-      throw new Error("effect-qb: unknown mutation column")
-    }
-    return column as Expression.Any
-  }
+  ): Expression.Any => columns[columnName] as Expression.Any
 
   const buildMutationAssignments = <Target extends MutationTargetInput, Values>(
     target: Target,
@@ -4299,7 +4373,7 @@ type BinaryPredicateExpression<
     }
     const valueMap = values as Record<string, Record<string, unknown> | undefined>
     return targets.flatMap((table) => {
-      const targetName = (table as unknown as TableLike)[Table.TypeId].name
+      const targetName = (table as TableLike)[Table.TypeId].name
       const scopedValues = valueMap[targetName] ?? {}
       const columns = table as unknown as Record<string, Expression.Any>
       return Object.entries(scopedValues).map(([columnName, value]) => ({
@@ -4320,20 +4394,17 @@ type BinaryPredicateExpression<
   } => {
     const firstRow = rows[0]
     const firstColumns = Object.keys(firstRow)
-    if (firstColumns.length === 0) {
-      throw new Error("values(...) rows must specify at least one column; use insert(target) for default-only inserts instead")
-    }
     const columns = firstColumns as [string, ...string[]]
-    const normalizedRows = rows.map((row) => {
-      const rowKeys = Object.keys(row)
-      if (rowKeys.length !== columns.length || columns.some((column) => !(column in row))) {
-        throw new Error("All values(...) rows must project the same columns in the same shape")
-      }
+    const normalizeRow = (row: InsertRowInput<Target>) => {
       const assignments = buildMutationAssignments(target, row) as readonly QueryAst.AssignmentClause[]
       return {
         values: columns.map((columnName) => assignments.find((assignment) => assignment.columnName === columnName)!)
       } satisfies QueryAst.InsertValuesRowClause
-    }) as unknown as [QueryAst.InsertValuesRowClause, ...QueryAst.InsertValuesRowClause[]]
+    }
+    const normalizedRows: readonly [QueryAst.InsertValuesRowClause, ...QueryAst.InsertValuesRowClause[]] = [
+      normalizeRow(rows[0]),
+      ...rows.slice(1).map(normalizeRow)
+    ]
     const required = normalizedRows.flatMap((row) =>
       row.values.flatMap((entry) => Object.keys(entry.value[Expression.TypeId].dependencies))
     )
@@ -4348,9 +4419,6 @@ type BinaryPredicateExpression<
     selection: Record<string, Expression.Any>
   ): readonly [string, ...string[]] => {
     const columns = Object.keys(selection)
-    if (columns.length === 0) {
-      throw new Error("insert(...).pipe(from(subquery)) requires at least one projected column")
-    }
     return columns as [string, ...string[]]
   }
 
@@ -4365,27 +4433,11 @@ type BinaryPredicateExpression<
     }[]
   } => {
     const entries = Object.entries(values)
-    if (entries.length === 0) {
-      throw new Error("unnest(...) requires at least one column array")
-    }
     const columns = entries.map(([columnName]) => columnName) as [string, ...string[]]
-    const normalized = entries.map(([columnName, items]) => {
-      if (!Array.isArray(items)) {
-        throw new Error("unnest(...) expects every value to be an array")
-      }
-      return {
-        columnName,
-        values: items
-      }
-    })
-    const expectedLength = normalized[0]!.values.length
-    if (normalized.some((entry) => entry.values.length !== expectedLength)) {
-      throw new Error("unnest(...) expects every column array to have the same length")
-    }
-    const knownColumns = new Set(Object.keys(target[Table.TypeId].fields))
-    if (columns.some((columnName) => !knownColumns.has(columnName))) {
-      throw new Error("unnest(...) received a column that does not exist on the target table")
-    }
+    const normalized = entries.map(([columnName, items]) => ({
+      columnName,
+      values: items
+    }))
     return {
       columns,
       values: normalized
@@ -4397,10 +4449,6 @@ type BinaryPredicateExpression<
     columnsInput: string | readonly string[]
   ): readonly [string, ...string[]] => {
     const columns = normalizeColumnList(columnsInput) as readonly [string, ...string[]]
-    const knownColumns = new Set(Object.keys(target[Table.TypeId].fields))
-    if (columns.some((columnName) => !knownColumns.has(columnName))) {
-      throw new Error("effect-qb: unknown conflict target column")
-    }
     return columns
   }
 
@@ -4479,14 +4527,91 @@ type ValidateTargetColumnInput<
   Columns extends DdlColumnInput
 > = ValidateTargetColumns<Target, NormalizeDdlColumns<Columns>> extends never ? never : Columns
 
-type CreateIndexOptions = {
-  readonly name?: string
+type SameColumnSet<
+  Left extends readonly string[],
+  Right extends readonly string[]
+> = string extends Left[number] | Right[number]
+  ? false
+  : Exclude<Left[number], Right[number]> extends never
+    ? Exclude<Right[number], Left[number]> extends never
+      ? true
+      : false
+    : false
+
+type ConflictArbitersOf<Target extends MutationTargetLike> =
+  Target[typeof Table.TypeId]["conflictArbiters"][number]
+
+type MatchingConflictArbiter<
+  Target extends MutationTargetLike,
+  Columns extends readonly string[],
+  AllowPartial extends boolean
+> = ConflictArbitersOf<Target> extends infer Arbiter extends Table.ConflictArbiter
+  ? Arbiter extends Table.ConflictArbiter
+    ? SameColumnSet<Arbiter["columns"], Columns> extends true
+      ? Arbiter["scope"] extends "unconditional"
+        ? true
+        : AllowPartial extends true ? true : never
+      : never
+    : never
+  : never
+
+type HasInlineConflictArbiter<
+  Target extends MutationTargetLike,
+  Columns extends readonly string[]
+> = Columns extends readonly [infer Column extends Extract<keyof Target[typeof Table.TypeId]["fields"], string>]
+  ? Target[typeof Table.TypeId]["fields"][Column] extends { readonly metadata: { readonly primaryKey: true } | { readonly unique: true } }
+    ? true
+    : false
+  : false
+
+type HasConflictArbiter<
+  Target extends MutationTargetLike,
+  Columns extends readonly string[],
+  AllowPartial extends boolean
+> = string extends Extract<keyof Target[typeof Table.TypeId]["fields"], string>
+  ? true
+  : HasInlineConflictArbiter<Target, Columns> extends true
+    ? true
+  : true extends MatchingConflictArbiter<Target, Columns, AllowPartial> ? true : false
+
+type ConflictTargetArbiterError<
+  Columns,
+  AllowPartial extends boolean
+> = {
+  readonly __effect_qb_error__: "effect-qb: conflict target columns must match a primary key, unique constraint, or unique index"
+  readonly __effect_qb_conflict_columns__: Columns
+  readonly __effect_qb_partial_target__: AllowPartial
+  readonly __effect_qb_hint__: "Declare the target columns as primaryKey/unique, add a table-level Unique.make(...), or use a simple Pg.Index.uniqueIndex(...)"
+}
+
+type ValidateConflictColumnInput<
+  Target extends MutationTargetLike,
+  Columns extends DdlColumnInput,
+  AllowPartial extends boolean
+> = ValidateTargetColumnInput<Target, Columns> extends never
+  ? never
+  : HasConflictArbiter<Target, NormalizeDdlColumns<Columns>, AllowPartial> extends true
+    ? Columns
+    : ConflictTargetArbiterError<NormalizeDdlColumns<Columns>, AllowPartial>
+
+type ConflictColumnPlanConstraint<
+  Target extends MutationTargetLike,
+  Columns extends DdlColumnInput,
+  AllowPartial extends boolean
+> = ValidateTargetColumnInput<Target, Columns> extends never
+  ? never
+  : HasConflictArbiter<Target, NormalizeDdlColumns<Columns>, AllowPartial> extends true
+    ? unknown
+    : ConflictTargetArbiterError<NormalizeDdlColumns<Columns>, AllowPartial>
+
+type CreateIndexOptions<Name extends string = string> = {
+  readonly name?: NonEmptyStringInput<Name>
   readonly unique?: boolean
   readonly ifNotExists?: boolean
 }
 
-type DropIndexOptions = {
-  readonly name?: string
+type DropIndexOptions<Name extends string = string> = {
+  readonly name?: NonEmptyStringInput<Name>
   readonly ifExists?: boolean
 }
 
@@ -4590,7 +4715,7 @@ type ValuesRowsDialectInput<
   BoolDb extends Expression.DbType.Any,
   TimestampDb extends Expression.DbType.Any,
   NullDb extends Expression.DbType.Any
-> = Exclude<ValuesRowsDialect<Rows, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, Dialect> extends never
+> = Exclude<ValuesRowsDialect<Rows, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, Dialect | "standard"> extends never
   ? unknown
   : {
       readonly __effect_qb_error__: "effect-qb: values rows cannot mix dialects"
@@ -4645,7 +4770,7 @@ type UnnestColumnsDialectInput<
   BoolDb extends Expression.DbType.Any,
   TimestampDb extends Expression.DbType.Any,
   NullDb extends Expression.DbType.Any
-> = Exclude<UnnestColumnsDialect<Columns, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, Dialect> extends never
+> = Exclude<UnnestColumnsDialect<Columns, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, Dialect | "standard"> extends never
   ? unknown
   : {
       readonly __effect_qb_error__: "effect-qb: unnest columns cannot mix dialects"
@@ -4912,6 +5037,26 @@ type ConflictTargetInput<
           readonly constraint?: string
         }>)
 
+type ConflictConstraintNameConstraint<Target> =
+  Target extends { readonly constraint: infer Constraint extends string }
+    ? { readonly constraint: NonEmptyStringInput<Constraint> }
+    : unknown
+
+type ConflictTargetHasPredicate<Target> =
+  Target extends { readonly where: PredicateInput } ? true : false
+
+type ConflictTargetPlanConstraint<
+  Target extends MutationTargetLike,
+  ConflictTarget
+> =
+  ConflictTarget extends { readonly constraint: string }
+    ? unknown
+    : ConflictTarget extends { readonly columns: infer Columns extends DdlColumnInput }
+      ? ConflictColumnPlanConstraint<Target, Columns, ConflictTargetHasPredicate<ConflictTarget>>
+      : ConflictTarget extends DdlColumnInput
+        ? ConflictColumnPlanConstraint<Target, ConflictTarget, false>
+        : unknown
+
 type ConflictActionInput<
   Target extends MutationTargetLike,
   Dialect extends string,
@@ -5063,7 +5208,12 @@ type MutationOrderLimitSupported<PlanValue extends QueryPlan<any, any, any, any,
 type MutationTargetTupleDialectConstraint<
   Targets extends MutationTargetTuple,
   Dialect extends string
-> = Exclude<TableDialectOf<Targets[number]>, Dialect> extends never ? unknown : never
+> = Exclude<TableDialectOf<Targets[number]>, Dialect | "standard"> extends never ? unknown : never
+
+type TableDialectConstraint<
+  Target extends TableLike,
+  Dialect extends string
+> = Exclude<TableDialectOf<Target>, Dialect> extends never ? unknown : never
 
 type MutationRequiredFromValues<Values extends Record<string, unknown>> = {
   [K in keyof Values]: Values[K] extends Expression.Any ? RequiredFromDependencies<DependenciesOf<Values[K]>> : never
@@ -5117,7 +5267,7 @@ type KnownIncompatibleMutationDialectFromValues<
   BoolDb extends Expression.DbType.Any,
   TimestampDb extends Expression.DbType.Any,
   NullDb extends Expression.DbType.Any
-> = Exclude<KnownMutationDialectFromValues<Values, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, Dialect>
+> = Exclude<KnownMutationDialectFromValues<Values, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, Dialect | "standard">
 
 type MutationValuesDialectConstraint<
   Values,
@@ -5169,9 +5319,11 @@ type SourceDialectConstraint<
   Dialect extends string
 > = [SourceDialectOf<CurrentSource>] extends [never]
   ? unknown
-  : Extract<SourceDialectOf<CurrentSource>, Dialect> extends never
-    ? never
-    : unknown
+  : Exclude<SourceDialectOf<CurrentSource>, Dialect | "standard"> extends never
+    ? unknown
+    : Dialect extends "standard"
+      ? unknown
+      : never
 
 type SourceRequirementConstraint<
   PlanValue extends QueryPlan<any, any, any, any, any, any, any, any, any, any>,
@@ -5465,7 +5617,7 @@ type AsCurriedResult<
   function as<
     Alias extends string
   >(
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): <Value extends AsCurriedInput<Dialect>>(
     value: Value
   ) => AsCurriedResult<Value, Alias, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>
@@ -5474,7 +5626,7 @@ type AsCurriedResult<
     Alias extends string
   >(
     value: Value,
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): ProjectionAliasedExpression<DialectAsExpression<Value, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>, Alias>
   function as<
     Rows extends ValuesRowsInput,
@@ -5485,7 +5637,7 @@ type AsCurriedResult<
       ValuesOutputShape<Rows, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
       Dialect
     >,
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): ValuesSource<
     Rows,
     ValuesOutputShape<Rows, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
@@ -5497,11 +5649,11 @@ type AsCurriedResult<
     Alias extends string
   >(
     value: DerivedTableCompatiblePlan<PlanValue>,
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): DerivedSource<PlanValue, Alias>
   function as(valueOrAlias: unknown, alias?: string): unknown {
     if (alias === undefined) {
-      return (value: unknown) => as(value as any, valueOrAlias as string)
+      return (value: unknown) => as(value as any, valueOrAlias as never)
     }
     const resolvedAlias = alias
     const value = valueOrAlias
@@ -5541,7 +5693,7 @@ type AsCurriedResult<
   function with_<
     Alias extends string
   >(
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): <PlanValue extends QueryPlan<any, any, any, any, any, any, any, any, any, any>>(
     value: DerivedSourceCompatiblePlan<PlanValue>
   ) => import("../../internal/query.js").CteSource<PlanValue, Alias>
@@ -5550,11 +5702,11 @@ type AsCurriedResult<
     Alias extends string
   >(
     value: DerivedSourceCompatiblePlan<PlanValue>,
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): import("../../internal/query.js").CteSource<PlanValue, Alias>
   function with_(valueOrAlias: unknown, alias?: string): unknown {
     if (alias === undefined) {
-      return (value: unknown) => with_(value as any, valueOrAlias as string)
+      return (value: unknown) => with_(value as any, valueOrAlias as never)
     }
     return makeCteSource(
       valueOrAlias as CompletePlan<QueryPlan<any, any, any, any, any, any, any, any, any, any>>,
@@ -5565,7 +5717,7 @@ type AsCurriedResult<
   function withRecursive_<
     Alias extends string
   >(
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): <PlanValue extends QueryPlan<any, any, any, any, any, any, any, any, any, any>>(
     value: DerivedSourceCompatiblePlan<PlanValue>
   ) => import("../../internal/query.js").CteSource<PlanValue, Alias>
@@ -5574,11 +5726,11 @@ type AsCurriedResult<
     Alias extends string
   >(
     value: DerivedSourceCompatiblePlan<PlanValue>,
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): import("../../internal/query.js").CteSource<PlanValue, Alias>
   function withRecursive_(valueOrAlias: unknown, alias?: string): unknown {
     if (alias === undefined) {
-      return (value: unknown) => withRecursive_(value as any, valueOrAlias as string)
+      return (value: unknown) => withRecursive_(value as any, valueOrAlias as never)
     }
     return makeCteSource(
       valueOrAlias as CompletePlan<QueryPlan<any, any, any, any, any, any, any, any, any, any>>,
@@ -5590,7 +5742,7 @@ type AsCurriedResult<
   function lateral<
     Alias extends string
   >(
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): <PlanValue extends QueryPlan<any, any, any, any, any, any, any, any, any, any>>(
     value: LateralSourceCompatiblePlan<PlanValue>
   ) => import("../../internal/query.js").LateralSource<PlanValue, Alias>
@@ -5599,11 +5751,11 @@ type AsCurriedResult<
     Alias extends string
   >(
     value: LateralSourceCompatiblePlan<PlanValue>,
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ): import("../../internal/query.js").LateralSource<PlanValue, Alias>
   function lateral(valueOrAlias: unknown, alias?: string): unknown {
     if (alias === undefined) {
-      return (value: unknown) => lateral(value as any, valueOrAlias as string)
+      return (value: unknown) => lateral(value as any, valueOrAlias as never)
     }
     return makeLateralSource(
       valueOrAlias as QueryPlan<any, any, any, any, any, any, any, any, any, any>,
@@ -5630,7 +5782,7 @@ type AsCurriedResult<
     columns: Columns
       & UnnestColumnsShapeInput<Columns>
       & UnnestColumnsDialectInput<Columns, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
-    alias: Alias
+    alias: LiteralStringInput<Alias>
   ) => UnnestSource<
     UnnestOutputShape<Columns, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
     Alias,
@@ -5646,7 +5798,7 @@ type AsCurriedResult<
     start: Start & NumericExpressionDialectInput<Start, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
     stop: Stop & NumericExpressionDialectInput<Stop, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
     step?: Step & (Step extends NumericExpressionInput ? NumericExpressionDialectInput<Step, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb> : unknown),
-    alias?: Alias
+    alias?: LiteralStringInput<Alias>
   ) => Dialect extends "postgres"
     ? TableFunctionSource<
         GenerateSeriesOutputShape<Start, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
@@ -5665,7 +5817,7 @@ type AsCurriedResult<
     start: Start & NumericExpressionDialectInput<Start, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
     stop: Stop & NumericExpressionDialectInput<Stop, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
     step?: Step & (Step extends NumericExpressionInput ? NumericExpressionDialectInput<Step, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb> : unknown),
-    alias?: Alias
+    alias?: LiteralStringInput<Alias>
   ) => TableFunctionSource<
     {
       readonly value: Expression.Scalar<number, NumericDb, "never", Dialect, "scalar", never, string>
@@ -5703,8 +5855,8 @@ type AsCurriedResult<
   type SelectionNestedNonEmptyConstraint<Selection> =
     SelectionHasEmptyNestedObject<Selection, true> extends true ? SelectionNestedEmptyError<Selection> : unknown
 
-  export type SelectApi = <Selection extends SelectionShape = {}>(
-    selection?: Selection & SelectionRootObjectConstraint<Selection> & SelectionNestedNonEmptyConstraint<Selection>
+  export type SelectApi = <const Selection extends SelectionShape = {}>(
+    selection?: Selection & SelectionRootObjectConstraint<Selection> & SelectionNestedNonEmptyConstraint<Selection> & SelectionProjectionAliasCollisionConstraint<Selection>
   ) => QueryPlan<
     Selection,
     ExtractRequired<Selection>,
@@ -6129,9 +6281,6 @@ type AsCurriedResult<
   const fullJoin = ((table, on) => (join as any)("full", table, on)) as BinaryJoinApi<"full">
 
   const distinctOn = (<Values extends readonly [ExpressionInput, ...ExpressionInput[]]>(...values: Values) => {
-    if (values.length === 0) {
-      throw new Error("distinctOn(...) requires at least one expression")
-    }
     const expressions = values.map((value) => toDialectExpression(value)) as Expression.Any[]
     return <PlanValue extends QueryPlan<any, any, any, any, any, any, any, any, any, any>>(
       plan: PlanValue & RequireSelectStatement<PlanValue>
@@ -6197,8 +6346,8 @@ type AsCurriedResult<
         ? ReturningSelectionNonEmptyError<Selection>
         : unknown
 
-  type ReturningApi = <Selection extends SelectionShape>(
-    selection: Selection & SelectionRootObjectConstraint<Selection> & SelectionNestedNonEmptyConstraint<Selection> & ReturningSelectionNonEmptyConstraint<Selection>
+  type ReturningApi = <const Selection extends SelectionShape>(
+    selection: Selection & SelectionRootObjectConstraint<Selection> & SelectionNestedNonEmptyConstraint<Selection> & ReturningSelectionNonEmptyConstraint<Selection> & SelectionProjectionAliasCollisionConstraint<Selection>
   ) =>
     <PlanValue extends QueryPlan<any, any, any, any, any, any, any, any, any, any>>(
       plan: PlanValue & RequireMutationStatement<PlanValue>
@@ -6220,7 +6369,7 @@ type AsCurriedResult<
 
   export interface InsertApi {
     <Target extends MutationTargetLike>(
-      target: Target
+      target: Target & TableDialectConstraint<Target, Dialect>
     ): QueryPlan<
       {},
       never,
@@ -6237,7 +6386,7 @@ type AsCurriedResult<
       EmptyFacts
     >
     <Target extends MutationTargetLike, Values extends Record<string, unknown>>(
-      target: Target,
+      target: Target & TableDialectConstraint<Target, Dialect>,
       values: MutationValuesInput<"insert", Target, Values> & MutationValuesDialectConstraint<Values, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>
     ): QueryPlan<
       {},
@@ -6266,13 +6415,13 @@ type AsCurriedResult<
     const Columns extends DdlColumnInput,
     UpdateValues extends MutationInputOf<Table.UpdateOf<Target>> | undefined = MutationInputOf<Table.UpdateOf<Target>> | undefined,
     Options extends ConflictActionInput<Target, Dialect, UpdateValues> = ConflictActionInput<Target, Dialect, UpdateValues>,
-    ConflictTarget extends ConflictTargetInput<Target, Dialect, Columns> = ConflictTargetInput<Target, Dialect, Columns>
+    const ConflictTarget extends ConflictTargetInput<Target, Dialect, Columns> = ConflictTargetInput<Target, Dialect, Columns>
   >(
-    target: ConflictTarget,
+    target: ConflictTarget & ConflictConstraintNameConstraint<ConflictTarget>,
     options?: Options & ConflictActionUpdateNonEmptyConstraint<Options>
-  ) =>
+	  ) =>
     <PlanValue extends QueryPlan<any, any, any, any, any, any, any, any, any, any>>(
-      plan: PlanValue & RequireInsertStatement<PlanValue>
+      plan: PlanValue & RequireInsertStatement<PlanValue> & ConflictTargetPlanConstraint<MutationTargetOfPlan<PlanValue>, ConflictTarget>
     ) => QueryPlan<
       SelectionOfPlan<PlanValue>,
       Exclude<RequiredOfPlan<PlanValue> | ConflictRequired<UpdateValues, Options, ConflictTarget>, AvailableNames<AvailableOfPlan<PlanValue>>>,
@@ -6309,7 +6458,7 @@ type AsCurriedResult<
       EmptyFacts
     >
     <Target extends MutationTargetLike, Values extends Record<string, unknown>>(
-      target: Target,
+      target: Target & TableDialectConstraint<Target, Dialect>,
       values: MutationValuesInput<"update", Target, Values> & UpdateValuesNonEmptyConstraint<Values> & MutationValuesDialectConstraint<Values, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>
     ): QueryPlan<
       {},
@@ -6334,9 +6483,9 @@ type AsCurriedResult<
     const Columns extends DdlColumnInput,
     UpdateValues extends MutationInputOf<Table.UpdateOf<Target>> | undefined = undefined
   >(
-    target: Target,
+    target: Target & TableDialectConstraint<Target, Dialect>,
     values: Values & MutationValuesDialectConstraint<Values, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>,
-    conflictColumns: ValidateTargetColumnInput<Target, Columns>,
+    conflictColumns: ValidateConflictColumnInput<Target, Columns, false>,
     updateValues?: UpdateValues & UpdateValuesNonEmptyConstraint<Exclude<UpdateValues, undefined>> & MutationValuesDialectConstraint<Exclude<UpdateValues, undefined>, Dialect, TextDb, NumericDb, BoolDb, TimestampDb, NullDb>
   ) => QueryPlan<
     {},
@@ -6358,7 +6507,7 @@ type AsCurriedResult<
 
   interface DeleteApi {
     <Target extends MutationTargetLike>(
-      target: Target
+      target: Target & TableDialectConstraint<Target, Dialect>
     ): QueryPlan<
       {},
       never,
@@ -6394,7 +6543,7 @@ type AsCurriedResult<
   }
 
   type TruncateApi = <Target extends MutationTargetLike>(
-    target: Target,
+    target: Target & TableDialectConstraint<Target, Dialect>,
     options?: TruncateOptions
   ) => QueryPlan<
     {},
@@ -6421,10 +6570,10 @@ type AsCurriedResult<
     MatchedPredicate extends PredicateInput | undefined = undefined,
     NotMatchedPredicate extends PredicateInput | undefined = undefined
   >(
-    target: Target,
+    target: Target & TableDialectConstraint<Target, Dialect>,
     source: Source & (
       SourceRequiredOf<Source> extends never ? unknown : SourceRequirementError<Source>
-    ) & MergeSourceNameConstraint<Target, Source>,
+    ) & MergeSourceNameConstraint<Target, Source> & SourceDialectConstraint<Source, Dialect>,
     on: On,
     options: MergeOptions<Target, MatchedValues, InsertValues, MatchedPredicate, NotMatchedPredicate>
   ) => QueryPlan<
@@ -6586,7 +6735,7 @@ type AsCurriedResult<
     "rollback"
   >
 
-  type SavepointApi = <Name extends string>(name: Name) => QueryPlan<
+  type SavepointApi = <Name extends string>(name: NonEmptyStringInput<Name>) => QueryPlan<
     {},
     never,
     {},
@@ -6599,7 +6748,7 @@ type AsCurriedResult<
     "savepoint"
   >
 
-  type RollbackToApi = <Name extends string>(name: Name) => QueryPlan<
+  type RollbackToApi = <Name extends string>(name: NonEmptyStringInput<Name>) => QueryPlan<
     {},
     never,
     {},
@@ -6612,7 +6761,7 @@ type AsCurriedResult<
     "rollbackTo"
   >
 
-  type ReleaseSavepointApi = <Name extends string>(name: Name) => QueryPlan<
+  type ReleaseSavepointApi = <Name extends string>(name: NonEmptyStringInput<Name>) => QueryPlan<
     {},
     never,
     {},
@@ -6626,7 +6775,7 @@ type AsCurriedResult<
   >
 
   type CreateTableApi = <Target extends SchemaTableLike>(
-    target: Target,
+    target: Target & TableDialectConstraint<Target, Dialect>,
     options?: CreateTableOptions
   ) => QueryPlan<
     {},
@@ -6642,7 +6791,7 @@ type AsCurriedResult<
   >
 
   type DropTableApi = <Target extends SchemaTableLike>(
-    target: Target,
+    target: Target & TableDialectConstraint<Target, Dialect>,
     options?: DropTableOptions
   ) => QueryPlan<
     {},
@@ -6657,10 +6806,10 @@ type AsCurriedResult<
     "dropTable"
   >
 
-  type CreateIndexApi = <Target extends SchemaTableLike, const Columns extends DdlColumnInput>(
-    target: Target,
+  type CreateIndexApi = <Target extends SchemaTableLike, const Columns extends DdlColumnInput, Name extends string = string>(
+    target: Target & TableDialectConstraint<Target, Dialect>,
     columns: Columns & ValidateDdlColumnInput<Target, Columns>,
-    options?: CreateIndexOptions
+    options?: CreateIndexOptions<Name>
   ) => QueryPlan<
     {},
     never,
@@ -6674,10 +6823,10 @@ type AsCurriedResult<
     "createIndex"
   >
 
-  type DropIndexApi = <Target extends SchemaTableLike, const Columns extends DdlColumnInput>(
-    target: Target,
+  type DropIndexApi = <Target extends SchemaTableLike, const Columns extends DdlColumnInput, Name extends string = string>(
+    target: Target & TableDialectConstraint<Target, Dialect>,
     columns: Columns & ValidateDdlColumnInput<Target, Columns>,
-    options?: DropIndexOptions
+    options?: DropIndexOptions<Name>
   ) => QueryPlan<
     {},
     never,