fix: cross-model field comparison validation issue

packages/schema/src/language-server/validator/expression-validator.ts

@@ -82,6 +82,8 @@ export default class ExpressionValidator implements AstValidator<Expression> {
                         node: expr.right,
                     });
                 }
+
+                this.validateCrossModelFieldComparison(expr, accept);
                 break;
             }
 
@@ -137,6 +139,7 @@ export default class ExpressionValidator implements AstValidator<Expression> {
                     accept('error', 'incompatible operand types', { node: expr });
                 }
 
+                this.validateCrossModelFieldComparison(expr, accept);
                 break;
             }
 
@@ -158,43 +161,8 @@ export default class ExpressionValidator implements AstValidator<Expression> {
                     break;
                 }
 
-                // not supported:
-                //   - foo.a == bar
-                //   - foo.user.id == userId
-                // except:
-                //   - future().userId == userId
-                if (
-                    (isMemberAccessExpr(expr.left) &&
-                        isDataModelField(expr.left.member.ref) &&
-                        expr.left.member.ref.$container != getContainingDataModel(expr)) ||
-                    (isMemberAccessExpr(expr.right) &&
-                        isDataModelField(expr.right.member.ref) &&
-                        expr.right.member.ref.$container != getContainingDataModel(expr))
-                ) {
-                    // foo.user.id == auth().id
-                    // foo.user.id == "123"
-                    // foo.user.id == null
-                    // foo.user.id == EnumValue
-                    if (!(this.isNotModelFieldExpr(expr.left) || this.isNotModelFieldExpr(expr.right))) {
-                        const containingPolicyAttr = findUpAst(
-                            expr,
-                            (node) => isDataModelAttribute(node) && ['@@allow', '@@deny'].includes(node.decl.$refText)
-                        ) as DataModelAttribute | undefined;
-
-                        if (containingPolicyAttr) {
-                            const operation = getAttributeArgLiteral<string>(containingPolicyAttr, 'operation');
-                            if (operation?.split(',').includes('all') || operation?.split(',').includes('read')) {
-                                accept(
-                                    'error',
-                                    'comparison between fields of different models is not supported in model-level "read" rules',
-                                    {
-                                        node: expr,
-                                    }
-                                );
-                                break;
-                            }
-                        }
-                    }
+                if (!this.validateCrossModelFieldComparison(expr, accept)) {
+                    break;
                 }
 
                 if (
@@ -262,6 +230,49 @@ export default class ExpressionValidator implements AstValidator<Expression> {
         }
     }
 
+    private validateCrossModelFieldComparison(expr: BinaryExpr, accept: ValidationAcceptor) {
+        // not supported in "read" rules:
+        //   - foo.a == bar
+        //   - foo.user.id == userId
+        // except:
+        //   - future().userId == userId
+        if (
+            (isMemberAccessExpr(expr.left) &&
+                isDataModelField(expr.left.member.ref) &&
+                expr.left.member.ref.$container != getContainingDataModel(expr)) ||
+            (isMemberAccessExpr(expr.right) &&
+                isDataModelField(expr.right.member.ref) &&
+                expr.right.member.ref.$container != getContainingDataModel(expr))
+        ) {
+            // foo.user.id == auth().id
+            // foo.user.id == "123"
+            // foo.user.id == null
+            // foo.user.id == EnumValue
+            if (!(this.isNotModelFieldExpr(expr.left) || this.isNotModelFieldExpr(expr.right))) {
+                const containingPolicyAttr = findUpAst(
+                    expr,
+                    (node) => isDataModelAttribute(node) && ['@@allow', '@@deny'].includes(node.decl.$refText)
+                ) as DataModelAttribute | undefined;
+
+                if (containingPolicyAttr) {
+                    const operation = getAttributeArgLiteral<string>(containingPolicyAttr, 'operation');
+                    if (operation?.split(',').includes('all') || operation?.split(',').includes('read')) {
+                        accept(
+                            'error',
+                            'comparison between fields of different models is not supported in model-level "read" rules',
+                            {
+                                node: expr,
+                            }
+                        );
+                        return false;
+                    }
+                }
+            }
+        }
+
+        return true;
+    }
+
     private validateCollectionPredicate(expr: BinaryExpr, accept: ValidationAcceptor) {
         if (!expr.$resolvedType) {
             accept('error', 'collection predicate can only be used on an array of model type', { node: expr });

packages/schema/tests/schema/validation/attribute-validation.test.ts

@@ -701,6 +701,37 @@ describe('Attribute tests', () => {
         `)
         ).toContain('comparison between fields of different models is not supported in model-level "read" rules');
 
+        expect(
+            await loadModelWithError(`
+            ${prelude}
+            model User {
+                id Int @id
+                lists List[]
+                todos Todo[]
+                value Int
+            }
+
+            model List {
+                id Int @id
+                user User @relation(fields: [userId], references: [id])
+                userId Int
+                todos Todo[]
+            }
+
+            model Todo {
+                id Int @id
+                user User @relation(fields: [userId], references: [id])
+                userId Int
+                list List @relation(fields: [listId], references: [id])
+                listId Int
+                value Int
+
+                @@allow('all', list.user.value > value)
+            }
+
+        `)
+        ).toContain('comparison between fields of different models is not supported in model-level "read" rules');
+
         expect(
             await loadModel(`
             ${prelude}

tests/regression/tests/issue-1506.test.ts

@@ -1,8 +1,9 @@
-import { loadSchema } from '@zenstackhq/testtools';
+import { loadModelWithError } from '@zenstackhq/testtools';
 describe('issue 1506', () => {
     it('regression', async () => {
-        const { prisma, enhance } = await loadSchema(
-            `
+        await expect(
+            loadModelWithError(
+                `
             model A {
                 id Int @id @default(autoincrement())
                 value Int
@@ -29,29 +30,10 @@ describe('issue 1506', () => {
 
                 @@allow('read', true)
             }
-            `,
-            { preserveTsFiles: true, logPrismaQuery: true }
+            `
+            )
+        ).resolves.toContain(
+            'comparison between fields of different models is not supported in model-level "read" rules'
         );
-
-        await prisma.a.create({
-            data: {
-                value: 3,
-                b: {
-                    create: {
-                        value: 2,
-                        c: {
-                            create: {
-                                value: 1,
-                            },
-                        },
-                    },
-                },
-            },
-        });
-
-        const db = enhance();
-        const read = await db.a.findMany({ include: { b: true } });
-        expect(read).toHaveLength(1);
-        expect(read[0].b).toBeTruthy();
     });
 });