feat: validate that types and fields referenced by a field are included in the same modules like that field

If a field is present in a certain module selection, everything it needs should also be included. That is

- field type
- collect path segments
- @relation(inverseOf)
- @reference(keyField)

Author: Yogu

spec/model/compatibility-check/describe-module-specification.spec.ts

@@ -4,7 +4,9 @@ import { EffectiveModuleSpecification } from '../../../src/model/implementation/
 
 describe('describeModuleSpecification', () => {
     it('describes empty spec', () => {
-        const result = describeModuleSpecification(EffectiveModuleSpecification.EMPTY);
+        const result = describeModuleSpecification(EffectiveModuleSpecification.EMPTY, {
+            preposition: 'by',
+        });
         expect(result).to.equal('');
     });
 
@@ -17,6 +19,7 @@ describe('describeModuleSpecification', () => {
                     },
                 ],
             }),
+            { preposition: 'by' },
         );
         expect(result).to.equal('by module "module1"');
     });
@@ -33,6 +36,7 @@ describe('describeModuleSpecification', () => {
                     },
                 ],
             }),
+            { preposition: 'by' },
         );
         expect(result).to.equal('by module "module1" and "module2"');
     });
@@ -52,6 +56,7 @@ describe('describeModuleSpecification', () => {
                     },
                 ],
             }),
+            { preposition: 'by' },
         );
         expect(result).to.equal('by module "module1", "module2" and "module3"');
     });
@@ -65,6 +70,7 @@ describe('describeModuleSpecification', () => {
                     },
                 ],
             }),
+            { preposition: 'by' },
         );
         expect(result).to.equal('by the combination of module "module1" and "module2"');
     });
@@ -78,6 +84,7 @@ describe('describeModuleSpecification', () => {
                     },
                 ],
             }),
+            { preposition: 'by' },
         );
         expect(result).to.equal('by the combination of module "module1", "module2" and "module3"');
     });
@@ -100,6 +107,7 @@ describe('describeModuleSpecification', () => {
                     },
                 ],
             }),
+            { preposition: 'by' },
         );
         expect(result).to.equal(
             'by module "a", "b" and "c", and by the combination of module "module1" and "module2"',
@@ -124,6 +132,7 @@ describe('describeModuleSpecification', () => {
                     },
                 ],
             }),
+            { preposition: 'by' },
         );
         expect(result).to.equal(
             'by module "a", "b" and "c", and by the combination of module "module1", "module2" and "module3"',
@@ -151,6 +160,7 @@ describe('describeModuleSpecification', () => {
                     },
                 ],
             }),
+            { preposition: 'by' },
         );
         expect(result).to.equal(
             'by module "a", "b" and "c", and by the combination of module "module1" and "module2", and by the combination of module "module3", "module4" and "module5"',
@@ -169,6 +179,7 @@ describe('describeModuleSpecification', () => {
                     },
                 ],
             }),
+            { preposition: 'by' },
         );
         expect(result).to.equal(
             'by the combination of module "module1" and "module2", and by the combination of module "module3", "module4" and "module5"',

spec/schema/ast-validation-modules/helpers.ts

@@ -19,13 +19,16 @@ import { prettyPrint } from '../../../src/graphql/pretty-print';
 
 export function assertValidatorRejects(
     source: string | DocumentNode,
-    msg: string,
+    msg: string | ReadonlyArray<string>,
     options?: ValidationOptions,
 ) {
+    const messages = Array.isArray(msg) ? msg : [msg];
     const validationResult = validate(source, options);
     expect(validationResult.hasErrors()).to.be.true;
-    expect(validationResult.getErrors().length, validationResult.toString()).to.equal(1);
-    expect(validationResult.getErrors()[0].message, validationResult.toString()).to.equal(msg);
+    expect(
+        validationResult.getErrors().map((e) => e.message),
+        validationResult.toString(),
+    ).to.deep.equal(messages);
 }
 
 export function assertValidatorWarns(