fix(scalar-arrays): parse multi-word element-type casts in array_position CHECK recognizer

The Shape 3 array_position element-non-null recognizer used a cast
fragment `(?:::[^\s)]+)?` that stopped at the first whitespace, so
multi-word Postgres type names (e.g. `timestamp with time zone` for
DateTime[]) failed to match and the column dropped out of drift
management, breaking schema verification after migrate. Anchor the
cast with a non-greedy `(?:::.+?)?` up to the closing `) IS NULL`; the
cast is discarded and the predicate re-canonicalized, so the wider
match is safe.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Signed-off-by: Serhii Tatarintsev <tatarintsev@prisma.io>

Author: SevInf

packages/3-targets/6-adapters/postgres/src/core/control-adapter.ts

@@ -1506,10 +1506,13 @@ export function parseCheckConstraintDef(constraintdef: string): ParsedCheckConst
 
   // Shape 3: array_position(col, NULL) IS NULL — the scalar-array element-non-null
   // guard. Postgres stores it with an element-type cast on NULL and drops quotes
-  // on simple identifiers, so accept an optional `::type` cast and both column
-  // forms, then re-canonicalize through the shared projection helper.
+  // on simple identifiers, so accept an optional `::type` cast (including
+  // multi-word type names like `timestamp with time zone`) and both column
+  // forms, then re-canonicalize through the shared projection helper. The cast
+  // is discarded, so a non-greedy `.+?` anchored by the closing `) IS NULL`
+  // captures the whole type name without over-running the predicate.
   const arrayPositionMatch = inner.match(
-    /^array_position\s*\(\s*(?:"((?:[^"]|"")*)"|(\w+))\s*,\s*NULL(?:::[^\s)]+)?\s*\)\s+IS\s+NULL$/i,
+    /^array_position\s*\(\s*(?:"((?:[^"]|"")*)"|(\w+))\s*,\s*NULL(?:::.+?)?\s*\)\s+IS\s+NULL$/i,
   );
   if (arrayPositionMatch) {
     const column =

packages/3-targets/6-adapters/postgres/test/control-adapter.check-constraints.test.ts

@@ -120,6 +120,26 @@ describe('parseCheckConstraintDef', () => {
     });
   });
 
+  it('re-canonicalizes with a multi-word element-type cast (timestamptz[])', () => {
+    const result = parseCheckConstraintDef(
+      'CHECK ((array_position(dates, NULL::timestamp with time zone) IS NULL))',
+    );
+    expect(result).toEqual({
+      kind: 'expression',
+      expression: 'array_position("dates", NULL) IS NULL',
+    });
+  });
+
+  it('re-canonicalizes with a multi-word element-type cast (double precision[])', () => {
+    const result = parseCheckConstraintDef(
+      'CHECK ((array_position(measurements, NULL::double precision) IS NULL))',
+    );
+    expect(result).toEqual({
+      kind: 'expression',
+      expression: 'array_position("measurements", NULL) IS NULL',
+    });
+  });
+
   it('preserves quoting for a mixed-case element-non-null column', () => {
     const result = parseCheckConstraintDef(
       'CHECK ((array_position("myTags", NULL::text) IS NULL))',

packages/3-targets/6-adapters/postgres/test/migrations/native-array-columns.integration.test.ts

@@ -39,6 +39,12 @@ function buildArrayContract(): Contract<SqlStorage> {
                   tags: { nativeType: 'text', codecId: 'pg/text@1', nullable: false, many: true },
                   labels: { nativeType: 'text', codecId: 'pg/text@1', nullable: true, many: true },
                   scores: { nativeType: 'int4', codecId: 'pg/int4@1', nullable: false, many: true },
+                  dates: {
+                    nativeType: 'timestamptz',
+                    codecId: 'pg/timestamptz@1',
+                    nullable: true,
+                    many: true,
+                  },
                   tagsWithDefault: {
                     nativeType: 'text',
                     codecId: 'pg/text@1',
@@ -320,6 +326,7 @@ describe.sequential('native array columns DDL', () => {
     const checkNames = checkRows.rows.map((r) => r.constraint_name).sort();
     expect(checkNames).toEqual(
       [
+        'ArrayTest_dates_elem_not_null',
         'ArrayTest_labels_elem_not_null',
         'ArrayTest_scores_elem_not_null',
         'ArrayTest_tags_elem_not_null',